Automatic generation of software behavioral models

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 501-510

  Lorenzoli, Davide ^a   Mariani, Leonardo ^a   Pezzè, Mauro ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

Dynamic analysis; GK tail; Model synthesis

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTOUR FOLLOWERS; SOFTWARE ENGINEERING; SOFTWARE TESTING; TERNARY SYSTEMS; TESTING; VERIFICATION; DYNAMIC ANALYSIS;

ACCURATE ANALYSIS; ANALYSIS AND TESTING; AUTOMATIC GENERATIONS; BEHAVIORAL MODELS; BOOLEAN EXPRESSIONS; COMPONENT INTERACTIONS; COMPONENTS INTERACTIONS; DATA VALUES; EXTENDED FINITE STATE MACHINES; FINITE-STATE MACHINES; FUNCTIONAL BEHAVIORS; GK-TAIL; INTERACTION MODELS; MODEL SYNTHESIS; SOFTWARE BEHAVIORS; SOFTWARE SYSTEMS; VERIFICATION AND TESTING;

DYNAMIC ANALYSIS; MATHEMATICAL MODELS;

ACCURATE ANALYSIS; ANALYSIS AND TESTING; AUTOMATIC GENERATION; BEHAVIORAL MODEL; BOOLEAN EXPRESSIONS; COMPONENT INTERACTION; COMPONENTS INTERACTION; DATA VALUES; EXTENDED FINITE STATE MACHINE; FINITE STATE MACHINES; FUNCTIONAL BEHAVIORS; GK-TAIL; INTERACTION MODEL; MODEL SYNTHESIS; SOFTWARE BEHAVIOR; SOFTWARE SYSTEMS; VERIFICATION AND TESTING;

EID: 57349167281     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368088.1368157     Document Type: Conference Paper

References (34)

1. Aspectwerkz. http://aspectwerkz.codehaus.org/, visited in 2007.
2. G. Ammons, R. Bodík, and J. R. Larus. Mining specifications. In proceedings of the Symposium, on Principles of Programming Languages (POPL). ACM Press, 2002.
3. Apache Software Foundation. Log4java. http://logging.apache.org/log4j/, visited in 2007.
4. T. Berg, B. Jonsson, and H. Raffelt. Regular inference for state machines with parameters. In proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), volume 3922 of LNCS. Springer, 2006.
5. A. Biermann and J. Feldman. On the synthesis of finite state machines from samples of their behavior. IEEE Transactions on Computer, 21:592-597, 1972.
6. O. Cicchello and S. C. Kremer. Inducing grammars from sparse data sets: a survey of algorithms and results. Journal of Machine Learning Research, 4:603-632, 2003.
7. J. Cook and A. Wolf. Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology, 7(3):215-249, 1998.
8. C. Csallner and Y. Smaragdakis. DSD-crasher: A hybrid analysis tool for bug finding. In proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2006.
9. D. Detlefs, G. Nelson, and J. Saxe. Simplify: A theorem prover for program checking. Technical Report HPL-2003-148, HP Labs, 2003.
10. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99-123, 2001.
11. C. Ghezzi. A. Mocci, and M. Monga. Efficient recovery of algebraic specifications for stateful components. In proceedings of the International Workshop on Principles of Software Evolution (IWPSE). ACM Press, 2007.
12. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In proceedings of the International Conference on Software Engineering (ICSE). ACM Press, 2002.
13. M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In proceedings of the International Conference on Software Engineering (ICSE). IEEE Computer Society, 2003.
14. J. Henkel and A. Diwan. Discovering algebraic specifications from Java classes. In proceedings of the European Conference on Object-Oriented Programming (ECOOP). Springer, 2003.
15. IBM. Eclipse test & performance tools platform. http://www.eclipse. org/tptp/, visited in 2007.
16. D. Lorenzoli, L. Mariani, and M. Pezze. Inferring state-based behavior models. In proceedings of the International Workshop on Dynamic Analysis (WODA) co-located with the 28th International Conference on Software Engineering (ICSE), 2006.
17. L. Mariani, S. Papagiannakis, and M. Pezzè, Compatibility and regression testing of COTS-component-based software. In proceedings of the International Conference on Software Engineering (ICSE). IEEE Computer Society, 2007.
18. L. Mariani and M. Pezzé. Dynamic detection of COTS components incompatibility. IEEE Software, 24(4), 2007.
19. S. McCamant and M. D. Ernst. Predicting problems caused by component upgrades. In proceedings of the European Software Engineering Conference held jointly with International Symp. on Foundations of Software Engineering (ESEC/FSE). ACM Press, 2003.
20. J. W. Nimmer and M. D. Ernst. Static verification of dynamically detected program invariants: Integrating daikon and ESC/Java. In proceedings of the Workshop on Runtime Verification, 2001.
21. Open Source Project. Jabref. http://jabref.sourceforge.net/, visited in 2007.
22. Open Source Project, jcvs. http://www.jcvs.org, visited in 2007.
23. Open Source Project, jedit. http://www.jedit.org, visited in 2007.
24. Open Source Project. Squiller. http://www.squirrelsql.org/, visited in 2007.
25. T. J. Ostrand and M. J. Balcer. The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6):676-686, June 1988.
26. R. Parekh and V. Honavar. An incremental interactive algorithm for regular grammar inference. In L. Miclet and C. Higuera, editors, proceedings of the International Colloquium on Grammatical Inference (ICGI), volume 1147 of LNCS. Springer, 1996.
27. R. Parekh, C. Nichitiu, and V. Honavar. A polynomial time incremental algorithm for learning DFA. In proceedings of the International Colloquium on Grammatical Inference (ICGI), volume 1433 of LNCS. Springer, 1998.
28. A. Petrenko, S. Boroday, and R. Groz. Confirming configurations in EFSM testing. IEEE Transactions on Software Engineering, 30(1):29-42, January 2004.
29. S. Porat and J. Feldman. Learning automata from ordered examples. Machine Learning, 7:109-138, 1991.
30. O. Raz, P. Koopman, and M. Shaw. Semantic anomaly detection in online data sources. In proceedings of the International Conference on Software Engineering (ICSE), pages 302-312. ACM Press, 2002.
31. S. P. Reiss and M. Renieris. Encoding program executions. In proceedings of the International Conference on Software Engineering (ICSE). IEEE Computer Society, 2001.
32. K. Twardowski. Makagiga. http://makagiga.sourceforge.net, visited in 2007.
33. R. Wieringa. A survey of structured and object-oriented software specification methods and techniques. ACM Computing Surveys, 30(4):459-527, 1998.
34. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: mining temporal api rules from imperfect traces. In proceeding of the International Conference on Software Engineering (ICSE), 2006.