Javert: fully automatic mining of general temporal properties from dynamic traces

192 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

A Survey of Machine Learning for Big Code and Naturalness (2017, background): “program8 toborrowsomebranding shine from the well-marketed term “Big Data”. The MSR ﬁeld’s early successes date back to work by Zimmermann et al. [201], Williams and Hollingsworth [189], Gabel and Su [66] and Acharya etal.[1]onminingAPIprotocolsfromsourcecodebases.Theseapproachesusedpragmaticcountin”
MAPO: Mining and Recommending API Usage Patterns (2009, methodology): “To mine automata, some approaches [4, 5, 21] use the Angluin’s algorithm [6], and other approaches [9, 11, 14, 28, 31, 36] adopt various customized techniques.”
Natural Language Models for Predicting Programming Comments (2013, unknown): “, 2011) and mining software repositories (Gabel and Su, 2008).”
On the naturalness of software (2012, background): “Many papers can be found in MSR conference series at ICSE, and representative works include mining API usages [22, 23], patterns of errors [24, 25], topic extraction [26], guiding changes [27] and several others.”