Encoding program executions (2001)

by Steven P. Reiss , Manos Renieris
Venue:In ICSE
Citations:75 - 1 self

Documents Related by Co-Citation

544 Dynamically discovering likely program invariants to support program evolution – Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint - 2001
289 Mining Specifications – Glenn Ammons, Rastislav Bodik, James R. Larus - 2002
106 Perracotta: mining temporal API rules from imperfect traces – Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das - 2006
290 Tracking Down Software Bugs Using Automatic Anomaly Detection – Sudheendra Hangal, Monica S. Lam - 2002
83 Mining Temporal Specifications for Error Detection – Westley Weimer, George C. Necula - 2005
244 Bug Isolation via Remote Program Sampling – Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan - 2003
164 A Framework for Reducing the Cost of Instrumented Code – Matthew Arnold, Barbara G. Ryder - 2001
49 Monitoring Deployed Software Using Software Tomography – Jim Bowring, Alessandro Orso, Mary Jean Harrold - 2002
141 Automatic Extraction of Object-Oriented Component Interfaces – John Whaley, Michael Martin, Monica Lam - 2002
73 J.A.: On the synthesis of finite-state machines from samples of their behavior – A W Biermann, Feldman - 1972
230 Discovering Models of Software Processes from Event-Based Data – Jonathan E. Cook, Alexander L. Wolf - 1998
110 Synthesis of interface specifications for Java classes – Rajeev Alur, P. Madhusudan, Wonhong Nam - 2005
301 Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code – Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, Benjamin Chelf - 2001
66 Gamma system: Continuous evolution of software after deployment – Ro Orso, Donglin Liang, Mary Jean Harrold, Richard Liptoncollege Of Computing - 2002
115 Dynamine: Finding Common Error Patterns by Mining Software Revision Histories – Benjamin Livshits - 2005
36 SMArTIC: Toward building an accurate, robust and scalable specification miner – David Lo, Siau-cheng Khoo - 2006
69 Residual Test Coverage Monitoring – Christina Pavlopoulou, Michal Young - 1999
74 Leveraging field data for impact analysis and regression testing – Alessandro Orso, Taweesup Apiwattanapong, Mary Jean Harrold
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001