Multi-paradigmatic model-based testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4262 LNCS, Issue , 2006, Pages 1-19

  Grieskamp, Wolfgang ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; QUALITY ASSURANCE;

COLLABORATIVE MODEL; DIAGRAMMATIC NOTATION; FORMAL FOUNDATION; INTERNAL DEVELOPMENT; MICROSOFT RESEARCHES; MODEL BASED TESTING; MODEL COMPOSITION; MULTI-PARADIGMATIC;

SOFTWARE TESTING;

EID: 34748818242     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11940197_1     Document Type: Conference Paper

References (17)

1. Harry Robinson. Finite state model-based testing on a shoestring. In STARWEST 99. available online.
2. Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes. Generating finite state machines from abstract state machines. In ISSTA'02, volume 27 of Software Engineering Notes, pages 112-122. ACM, 2002.
3. Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus 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. Keith Stobie. Model based testing in practice at microsoft. In Proceedings of the Workshop on Model Based Testing (MBT 2004), volume 111 of Electronic Notes in Theoretical Computer Science. Elsevier, 2004.
5. Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes. Model-based testing of object-oriented reactive systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research, May 2005. to appear in Formal Methods and Testing, LNCS, Springer.
6. Wolfgang Grieskamp, Nicolas Kicillof, and Nikolai Tillmann. Action machines: a framework for encoding and composing partial behaviors. Technical Report MSR-TR-2006-11, Microsoft Research, February 2006. to appear in International Journal of Software & Knowledge Engineering.
7. Wolfgang Grieskamp and Nicolas Kicillof. A schema language for coordinating construction and composition of partial behaviors. In Proceedings of the 28th International Conference on Software Engineering & Co-Located Workshops - 5th International Workshop on Scenarios and State Machines. ACM, May 2006.
8. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Borger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
9. Luca de Alfaro and Thomas 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.
10. Microsoft. The LINQ project, http://msdn.microsoft.com/data/ref/ling, 2006.
11. Wolfgang Grieskamp, Nikolai Tillmann, and Margus Veanes. Instrumenting scenarios in a model-driven development environment. Information and Software Technology, 2004.
12. J.C. 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.
13. Jan Tretmans and Ed Brinksma. TorX: Automated model based testing. In 1st European Conference on Model Driven Software Engineering, pages 31-43, Nuremberg, Germany, December 2003.
14. Microsoft. Domain specific language tools. http://msdn.microsoft.com/ vstudio/dsltools, 2005.
15. G. Kahn. Natural semantics. In Symposium on Theoretical Computer Science (STACS'97), volume 247 of Lecture Notes in Computer Science, 1987.
16. Wolfgang Grieskamp, Nikolai Tillmann, and Wolfram 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.
17. B.A. Davey and H.A. Priestly, editors. Introduction to Lattices and Order. Cambridge University Press, 1990.