A Technique for Verifying Component-Based Software

Electronic Notes in Theoretical Computer Science

Volumn 116, Issue SPEC.ISS., 2005, Pages 17-30

  Mariani, Leonardo ^a   Pezzè, Mauro ^a  

^a Bicocca Edificio U7   (Italy)

Author keywords

Component based software; Invariants; Reuse; Testing

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE REUSABILITY; JAVA PROGRAMMING LANGUAGE; PROGRAM DEBUGGING; REGRESSION ANALYSIS; SOFTWARE ENGINEERING;

COMPONENT-BASED SOFTWARE (CBS); COMPONENT-BASED SOFTWARE SYSTEMS; INVARIANTS; SOFTWARE TESTING;

COMPUTER SOFTWARE;

EID: 15744400236     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.089     Document Type: Conference Paper

References (23)

1. O. Cicchello, and S.C. Kremer Inducing grammars from sparse data sets: a survey of algorithms and results Journal of Machine Learning Research 4 2003 603 632
2. Detlefs, D., K. Rustan, M. Leino, G. Nelson and J. Saxe, Extended static checking, SR Research Report 159, Compaq Systems Research Center (1998)
3. S.H. Edwards A framework for practical, automated black-box testing of component-based software Journal of Software Testing, Verification and Reliability 11 2001
4. 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 2001 99 123
5. Ernst, M. D., W. G. Griswold, Y. Kataoka and D. Notkin, Dynamically discovering pointer-based program invariants, Technical Report UW-CSE-99-11-02, University of Washington, Seattle, WA (1999)
6. Hangal, S. and M. S. Lam, Tracking down software bugs using automatic anomaly detection, in: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 291-301
7. K. Havelund, and G. Roşu Synthesizing monitors for safety properties J.-P. Katoen P. Stevens proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science 2280 2002 324 356
8. J. Jones, and M. Harrold Test-suite reduction and priorization for modified condition/decision coverage IEEE Transactions on Software Engineering 29 2003 195 209
9. Lang, K., B. Pearlmutter and R. Price, Results of the abbadingo one DFA learning competition and a new evidence-driven state merging algorithm, in: proceedings of the Fourth International Colloquium on Grammatical Inference, 1998
10. Mariani, L., Capturing and synthesizing the behavior of component-based systems, Technical Report LTA:2004:01, Università di Milano Bicocca (2003)
11. McCamant, S. and M. D. Ernst, Predicting problems caused by component upgrades, in: Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering (2003), pp. 287-296
12. Nimmer, J. W. and M. D. Ernst, Static verification of dynamically detected program invariants: Integrating daikon and ESC/Java, in: Proceedings of RV'01, First Workshop on Runtime Verification, Paris, France, 2001
13. Orso, A., T. Apiwattanapong and M. J. Harrold, Leveraging field data for impact analysis and regression testing, in: Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering (2003), pp. 128-137
14. R. Parekh, and V. Honavar Grammar inference, automata induction, and language acquisition Dale Moisl Somers Handbook of Natural Language Processing 2000 Marcel Dekker
15. C. Pavlopoulou, and M. Young Residual test coverage monitoring proceedings of the 21th International Conference on Software Engineering (ICSE'99) 1999 277 284
16. Raz, O., P. Koopman and M. Shaw, Semantic anomaly detection in online data sources, in: Proceedings of the 24th international conference on Software engineering (2002), pp. 302-312
17. M.G. Rodriguez Automatic data-gathering agents for remote navigability testing IEE Software 19 2002 78 85
18. G. Rothermel, and M. Harrold A safe, efficient regression test selection technique AC Transactions on Software Engineering and Methodology 6 1997 173 210
19. TM2 Enterprise Edition, 2/e 2002 Addison-Wesley
20. S. Sinha, M. Harrold, and G. Rothermel System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow proceedings of the 1999 International Conference on Software Engineering 1999 ACM 432 441
21. J.A. Stafford, and A.L. Wolf Architecture-level dependence analysis for software systems International Journal of Software Engineering and Knowledge Engineering 11 2001 431 451
22. Templer, K. and C. Jeffery, A configurable automatic instrumentation tool for ANSI C, in: proceedings of the 13th IEEE International Conference on Automated Software Engineering, 1998, pp. 249-258
23. TM virtual machine to gather data on the behavior of java programs, Technical Report SML 98-0154, Sun Microsystems Laboratories (1999)