Z. Su
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Javert: Fully automatic mining of general temporal properties from dynamic traces
M. Gabel and others (2008) · 16th International Symposium on Foundations of Software Engineering (FSE)