Action machines - Towards a framework for model composition, exploration and conformance testing based on symbolic computation

Proceedings - International Conference on Quality Software

Volumn 2005, Issue , 2005, Pages 72-79

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

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; CONSTRAINT THEORY; SEARCH ENGINES;

CONFORMANCE TESTING; MODEL COMPOSITION; SYMBOLIC COMPUTATION; SYMBOLIC EXECUTION;

LEARNING SYSTEMS;

EID: 33745784682     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2005.10     Document Type: Conference Paper

References (15)

1. Spec# tool, March 2005. http://research.microsoft. com/specsharp.
2. R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In Proceedings of the Ninth International Conference on Concurrency Theory (CON-CUR'98), volume 1466 of LNCS, pages 163-178, 1998.
3. M. Barnett, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes. Towards a tool environment for model-based testing with AsmL. In Petrenko and Ulrich, editors, Formal. Approaches to Software Testing, FATES 2003, volume 2931 of LNCS, pages 264-280. Springer, 2003.
4. C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes. Model-based testing of objectoriented reactive systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research, May 2005.
5. 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.
6. J. Fernandez, C. Jard, T. Jéron, and C. Viho. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming - Special Issue on COST247, Verification and Validation Methods for Formal Descriptions, 29(1-2): 123-146, 1997.
7. L. Frantzen, J. Tretmans, and T. Willemse. Test generation based on symbolic specifications. In J. Grabowski and B. Nielsen, editors, Proceedings of the Workshop on Formal Approaches to Software Testing (FATES 2004), pages 3-17, Linz, Austria, September 2004. To appear in LNCS.
8. 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.
9. W. Grieskamp, N. Tillmann, and W. Schulte. XRT - Exploring Runtime for .NET - Architecture and Applications. In SoftMC 2005: Workshop on Software Model Checking, Electronic Notes in Theoretical Computer Science, July 2005.
10. W. Grieskamp, N. Tillmann, and M. Veanes. Instrumenting scenarios in a model-driven development environment. Information and Software Technology, 2004. In press, available online.
11. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Borger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
12. S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 553-568, April 2003.
13. 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.
14. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
15. J. Tretmans and E. Brinksma. TorX: Automated model based testing. In 1st European Conference on Model Driven Software Engineering, pages 31-43, Nuremberg, Germany, December 2003.