|
467
|
Dynamically discovering likely program invariants to support program evolution
– Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint
- 2001
|
|
247
|
Tracking Down Software Bugs Using Automatic Anomaly Detection
– Sudheendra Hangal, Monica S. Lam
- 2002
|
|
232
|
Mining Specifications
– Glenn Ammons, Rastislav Bodik, James R. Larus
- 2002
|
|
193
|
Bug Isolation via Remote Program Sampling
– Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan
- 2003
|
|
85
|
Perracotta: mining temporal API rules from imperfect traces
– Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das
- 2006
|
|
147
|
A Framework for Reducing the Cost of Instrumented Code
– Matthew Arnold, Barbara G. Ryder
- 2001
|
|
43
|
Monitoring Deployed Software Using Software Tomography
– Jim Bowring, Alessandro Orso, Mary Jean Harrold
- 2002
|
|
60
|
Mining Temporal Specifications for Error Detection
– Westley Weimer, George C. Necula
- 2005
|
|
123
|
Automatic Extraction of Object-Oriented Component Interfaces
– John Whaley, Michael Martin, Monica Lam
- 2002
|
|
89
|
Synthesis of interface specifications for Java classes
– Rajeev Alur, P. Madhusudan, Wonhong Nam
- 2005
|
|
245
|
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
|
|
57
|
Gamma system: Continuous evolution of software after deployment
– Ro Orso, Donglin Liang, Mary Jean Harrold, Richard Liptoncollege Of Computing
- 2002
|
|
65
|
Residual Test Coverage Monitoring
– Christina Pavlopoulou, Michal Young
- 1999
|
|
58
|
Leveraging field data for impact analysis and regression testing
– A Orso, Harrold MJ
- 2003
|
|
348
|
Automatically validating temporal safety properties of interfaces
– Thomas Ball, Sriram K. Rajamani
- 2001
|
|
87
|
PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code
– Zhenmin Li, Yuanyuan Zhou
- 2005
|
|
62
|
On the synthesis of finite-state machines from samples of their behavior
– A W Biermann, J A Feldman
- 1972
|
|
187
|
Discovering Models of Software Processes from Event-Based Data
– Jonathan E. Cook, Alexander L. Wolf
- 1998
|
|
31
|
Ephemeral Instrumentation for Lightweight Program Profiling
– Omri Traub, Stuart Schechter, Michael D. Smith
- 2000
|
