The Daikon system for dynamic detection of likely invariants

Science of Computer Programming

Volumn 69, Issue 1-3, 2007, Pages 35-45

  Ernst, Michael D ^a   Perkins, Jeff H ^a   Guo, Philip J ^a   McCamant, Stephen ^a   Pacheco, Carlos ^a   Tschantz, Matthew S ^a   Xiao, Chen ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Daikon; Dynamic analysis; Dynamic invariant detection; Inductive logic programming; Inference; Invariant; Likely invariant; Program understanding; Specification; Specification mining

Indexed keywords

DATA MINING; DYNAMIC ANALYSIS; SPECIFICATIONS;

DYNAMIC INVARIANT DETECTION; INDUCTIVE LOGIC PROGRAMMING; PROGRAM UNDERSTANDING; SPECIFICATION MINING;

LOGIC PROGRAMMING;

EID: 35348872682     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.01.015     Document Type: Article

References (40)

1. N. Dodoo, L. Lin, M.D. Ernst, Selecting, refining, and evaluating predicates for program analysis, Tech. Rep. MIT-LCS-TR-914, MIT Lab for Computer Science, 21 July, 2003
2. B. Demsky, M.D. Ernst, P.J. Guo, S. McCamant, J.H. Perkins, M. Rinard, Inference and enforcement of data structure consistency specifications, ISSTA (2006) 233-243
3. P.J. Guo, J.H. Perkins, S. McCamant, M.D. Ernst, Dynamic inference of abstract types, ISSTA (2006) 255-265
4. Parasoft Corporation, Jtest version 4.5. http://www.parasoft.com/
5. Flanagan C., Leino K.R.M., Lillibridge M., Nelson G., Saxe J.B., and Stata R. Extended static checking for Java. PLDI (2002) 234-245
6. Leavens G.T., Baker A.L., and Ruby C. JML: A notation for detailed design. Behavioral Specifications of Businesses and Systems (1999), Kluwer Academic Publishers, Boston 175-188
7. Burdy L., Cheon Y., Cok D., Ernst M.D., Kiniry J., Leavens G.T., Leino K.R.M., and Poll E. An overview of JML tools and applications. STTT 7 3 (2005) 212-232
8. D. Detlefs, G. Nelson, J.B. Saxe, Simplify: A theorem prover for program checking, Tech. Rep. HPL-2003-148, HP Labs, Palo Alto, CA, 23 Jul., 2003
9. Leveson N.G., Cha S.S., Knight J.C., and Shimeall T.J. The use of self checks and voting in software error detection: An empirical study. IEEE TSE 16 4 (1990) 432-443
10. M. Ohba, X.-M. Chou, Does imperfect debugging affect software reliability growth? ICSE (1989) 237-244
11. Graves T.L., Karr A.F., Marron J.S., and Siy H. Predicting fault incidence using software change history. IEEE TSE 26 7 (2000) 653-661
12. Ernst M.D., Cockrell J., Griswold W.G., and Notkin D. Dynamically discovering likely program invariants to support program evolution. IEEE TSE 27 2 (2001) 99-123
13. O. Raz, P. Koopman, M. Shaw, Semantic anomaly detection in online data sources, ICSE (2002) 302-312
14. S. Hangal, M.S. Lam, Tracking down software bugs using automatic anomaly detection, ICSE (2002) 291-301
15. B. Pytlik, M. Renieris, S. Krishnamurthi, S.P. Reiss, Automated fault localization using potential invariants, AADEBUG (2003) 273-276
16. L. Mariani, M. Pezzè, A technique for verifying component-based software, TACoS (2004) 17-30
17. A. Groce, W. Visser, What went wrong: Explaining counterexamples, SPIN (2003) 121-135
18. T. Xie, D. Notkin, Checking inside the black box: Regression testing based on value spectra differences, ICSM (2004) 28-37
19. B. Liblit, A. Aiken, A.X. Zheng, M.I. Jordan, Bug isolation via remote program sampling, PLDI (2003) 141-154
20. Y. Brun, M.D. Ernst, Finding latent code errors via machine learning over program executions, ICSE (2004) 480-490
21. M. Harder, J. Mellen, M.D. Ernst, Improving test suites via operational abstraction, ICSE (2003) 60-71
22. T. Xie, D. Notkin, Tool-assisted unit test selection based on operational violations, ASE (2003) 40-48
23. C. Pacheco, M.D. Ernst, Eclat: Automatic generation and classification of test inputs, ECOOP (2005) 504-527
24. J.W. Nimmer, M.D. Ernst, Automatic generation of program specifications, ISSTA (2002) 232-242
25. J.W. Nimmer, M.D. Ernst, Invariant inference for static checking: An empirical evaluation, FSE (2002) 11-20
26. T. Ne Win, M.D. Ernst, S.J. Garland, D. Ki{dotless}rli{dotless}, N. Lynch, Using simulated execution in verifying distributed algorithms, VMCAI (2003) 283-297, New York, NY
27. L. Lin, M.D. Ernst, Improving adaptability via program steering, ISSTA (2004) 206-216
28. N. Gupta, Z.V. Heidepriem, A new structural coverage criterion for dynamic detection of program invariants, ASE (2003) 49-58
29. J.H. Perkins, M.D. Ernst, Efficient incremental algorithms for dynamic detection of likely invariants, FSE (2004) 23-32
30. S. McCamant, M.D. Ernst, Early identification of incompatibilities in multi-component upgrades, ECOOP (2004) 440-464
31. M. Boshernitsan, R. Doong, A. Savoia, From Daikon to Agitator: Lessons and challenges in building a commercial tool for developer testing, ISSTA (2006) 169-179
32. S. Hangal, N. Chandra, S. Narayanan, S. Chakravorty, Iodine: A tool to automatically infer dynamic invariants for hardware designs, DAC (2005) 775-778
33. J. Henkel, A. Diwan, Discovering algebraic specifications from Java classes, ECOOP (2003) 431-456
34. J. Henkel, A. Diwan, A tool for writing and debugging algebraic specifications, ICSE (2004) 449-458
35. M. Vaziri, G. Holzmann, Automatic detection of invariants in Spin, SPIN (1998) 129-138
36. J.E. Cook, A.L. Wolf, Event-based detection of concurrency, FSE (1998) 35-45
37. Cook J.E., and Wolf A.L. Discovering models of software processes from event-based data. ACM TOSEM 7 3 (1998) 215-249
38. G. Ammons, R. Bodík, J.R. Larus, Mining specifications, POPL (2002) 4-16
39. J. Whaley, M. Martin, M. Lam, Automatic extraction of object-oriented component interfaces, ISSTA (2002) 218-228
40. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, M. Das, Perracotta: Mining temporal API rules from imperfect traces, ICSE (2006) 282-291