Using dynamic execution traces and program invariants to enhance behavioral model inference

Proceedings - International Conference on Software Engineering

Volumn 2, Issue , 2010, Pages 179-182

  Krka, Ivo ^a   Brun, Yuriy ^b   Popescu, Daniel ^a   Garcia, Joshua ^a   Medvidovic, Nenad ^a  

^a University of Southern California   (United States)

^b UNIVERSITY OF WASHINGTON   (United States)

Author keywords

dynamic analysis; likely invariants; specification mining

Indexed keywords

BEHAVIORAL MODEL; DYNAMIC EXECUTION; EXECUTION SEQUENCES; INFERENCE TECHNIQUES; LEVEL MODEL; LIKELY INVARIANTS; METHOD INVOCATION; PROGRAM INVARIANTS; SPECIFICATION MINING;

COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; SPECIFICATIONS; VERIFICATION;

DYNAMIC ANALYSIS;

EID: 77954693860     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1810295.1810324     Document Type: Conference Paper

References (19)

1. A. Biermann and J. Feldman. On the synthesis of finite-state machines from samples of their behavior. IEEE Trans. on Computers, 21(6), 1972.
2. J. Cook and A. Wolf. Discovering models of software processes from event-based data. ACM TOSEM, 7(3), 1998.
3. C. Csallner et al. DySy: Dynamic symbolic execution for invariant inference. In Proc. of ICSE, 2008.
4. M. Ernst et al. The Daikon system for dynamic detection of likely invariants. Science of Computer Programming, 69(1), 2007.
5. A. Fox. Addressing software dependability with statistical and machine learning techniques. In Proc. of ICSE, 2005.
6. S. Hangal and M. Lam. Tracking down software bugs using automatic anomaly detection. In Proc. of ICSE, 2002.
7. M. Harder et al. Improving test suites via operational abstraction. In Proc. of ICSE, 2003.
8. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 1987.
9. J. Hatcliff and M. Dwyer. Using the bandera tool set to model-check properties of concurrent Java software. In Proc. of CONCUR, 2001.
10. I. Krka et al. Synthesizing component-level partial behavioral models from system specifications. In Proc. of ESEC/FSE, 2009.
11. D. Lo et al. Automatic steering of behavioral model inference. In Proc. of ESEC/FSE, 2009.
12. D. Lo and S.-C. Khoo. QUARK: Empirical assessment of automaton-based specification miners. In Proc. of WCRE, 2006.
13. D. Lorenzoli et al. Automatic generation of software behavioral models. In Proc. of ICSE, 2008.
14. L. Mariani et al. Compatibility and regression testing of COTS-component-based software. In Proc. of ICSE, 2007.
15. S. Reiss and M. Renieris. Encoding program executions. In Proc. of ICSE, 2001.
16. S. Shoham et al. Static Specification Mining Using Automata-Based Abstractions. IEEE TSE, 34(5), 2008.
17. H. van Vliet. Software Engineering: Principles and Practice. John Wiley & Sons, 2008.
18. J. Yang et al. Perracotta: Mining temporal API rules from imperfect traces. In Proc. of ICSE, 2006.
19. Yices SMT Solver. http://yices.csl.sri.com, 2009.