Testing concurrent object-oriented systems with spec explorer extended abstract

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 542-547

  Campbell, Colin ^a   Grieskamp, Wolfgang ^a   Nachmanson, Lev ^a   Schulte, Wolfram ^a   Tillmann, Nikolai ^a   Veanes, Margus ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; WORLD WIDE WEB;

MODEL-BASED TESTING TOOL; OBJECT-ORIENTED SYSTEMS; SPONTANEOUS REACTIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 26444516479     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526841_38     Document Type: Conference Paper

References (6)

1. C. Campbell and M. Veanes. State exploration with multiple state groupings. In D. Beauquier, E. Börger, and A. Slissenko, editors, 12th International Workshop on Abstract State Machines, ASM'05, March 8-11, 2005, Laboratory of Algorithms, Complexity and Logic, University Paris 12 - Val de Marne, Créteil, France, pages 119-130, 2005.
2. L. de Alfaro. Game models for open systems. In N. Dershowitz, editor, Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, volume 2772 of LNCS, pages 269-289. Springer, 2004.
3. L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 109-120. ACM, 2001.
4. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating finite state machines from abstract state machines. In ISSTA'02, volume 27 of Software Engineering Notes, pages 112-122. ACM, 2002.
5. L. Nachmanson, M. Veanes, W. Schulte, N. Tillmann, and W. Grieskamp. Optimal strategies for testing nondeterministic systems. In ISSTA'04, volume 29 of Software Engineering Notes, pages 55-64. ACM, July 2004.
6. M. Veanes, C. Campbell, W. Schulte, and P. Kohli. On-the-fly testing of reactive systems. Technical Report MSR-TR-2005-03, Microsoft Research, January 2005.