Behavior capture and test: Automated analysis of component integration

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2005, Pages 292-301

  Mariani, Leonardo ^a   Pezzè, Mauro ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SOFTWARE REUSABILITY; INFORMATION ANALYSIS; INTEGRATION; PROBLEM SOLVING; PRODUCT DEVELOPMENT;

AUTOMATED ANALYSIS; COMPONENT-BASED TECHNOLOGY; INTERACTION PATTERNS; PRODUCT LINES;

SOFTWARE ENGINEERING;

EID: 27144492277     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. G. Ammons, R. Bodík, and J. R. Larus. Mining specifications. In proceedings of the 29th Symposium on Principles of Programming Languages, pages 4-16. ACM Press, 2002.
2. A. Biermann and J. Feldman. On the synthesis of finite state machines from samples of their behavior. IEEE Transactions on Computer, 21:592-597, June 1972.
3. K. Brown. Building a lightweight COM interception framework, part 1 : The universal delegator. Microsoft Systems Journal, January 1999.
4. 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.
5. 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.
6. I. Crnkovic and M. Larsson. Building Relyable Component-Based Software Systems. Artech House, 2002.
7. 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, February 2001.
8. M. D. Ernst, W. G. Griswold, Y. Kataoka, and D. Notkin. Dynamically discovering pointer-based program invariants. T.R. UW-CSE-99-11-02, Univ. of Washington, 1999.
9. M. R. G. Rackl, M. Lindermeier and B. Suss. MIMO - an infrastructure for monitoring and managing distributed middleware environments. In proceedings of the Multimedia Middleware Workshop at FIP/ACM International Conference on Distributed systems platform, pages 71-87. Springer-Verlag, 2000.
10. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In 24th International Conference on Software Engineering, pages 291-301. ACM Press, 2002.
11. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Akşit and S. Matsuoka, editors, proceedings of the European Conference on Object-Oriented Programming, volume 1241, pages 220-242. Springer-Verlag, 1997.
12. H. Lee and B. Zorn. BIT: A tool for instrumenting java bytecodes. In proceedings of the USENIX Symposium on Internet Technologies and Systems, pages 73-82, 1997.
13. L. Mariani. Capturing and synthesizing the behavior of component-based systems. Technical Report LTA:2004:01, Università degli Studi di Milano Bicocca, 2004.
14. L. Mariani. Behavior Capture and Test: Dynamic Analysis of Component-based Systems. Phd thesis, Università degli Studi di Milano Bicocca, January 2005.
15. L. Mariani, M. Pezzè, and D. Willmor. Generation of integration tests for self-testing components. In proceedings of the 1st Internationl Workshop on Integration of Testing Methodologies, volume 3236 of LNCS, pages 337-350. Springer, 2004.
16. S. McCamant and M. D. Ernst. Predicting problems caused by component upgrades. In proceedings of the 9th European Software Engineering Conference held jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 287-296. ACM Press, 2003.
17. J. W. Nimmer and M. D. Ernst. Static verification of dynamically detected program invariants: Integrating daikon and ESC/Java. In 1st Workshop on Runtime Verification, 2001.
18. A. Raman, P. Andreae, and J. Patrick. A beam search algorithm for PFSA inference. Pattern Analysis and Applications, 1(1):121-129, 1998.
19. O. Raz, P. Koopman, and M. Shaw. Semantic anomaly detection in online data sources. In proceedings of the 24th International Conference on Software Engineering, pages 302-312. ACM Press, 2002.
20. S. P. Reiss and M. Renieris. Encoding program executions. In proceedings of the 23rd International Conference on Software Engineering, pages 221-230. IEEE Computer Society, 2001.