Play to test

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

Volumn 3997 LNCS, Issue , 2006, Pages 32-46

  Blass, Andreas ^a   Gurevich, Yuri ^b   Nachmanson, Lev ^b   Veanes, Margus ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; DECISION THEORY; GAME THEORY; ITERATIVE METHODS; LINEAR PROGRAMMING; MARKOV PROCESSES;

GAMES; MARKOV DECISION PROCESS THEORY; OPTIMAL STRATEGIES; TESTING TASKS;

DESIGN FOR TESTABILITY;

EID: 33746699613     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11759744_3     Document Type: Conference Paper

References (29)

1. Spec Explorer. URL:http://research.microsoft.com/specexplorer/, released January 2005.
2. R. Alur, C. Courcoubetis, and M. Yannakakis. Distinguishing tests for nondeterministic and probabilistic machines. In Proc. 27th Ann. ACM Symp. Theory of Computing, pages 363-372, 1995.
3. R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In Proceedings of the Ninth International Conference on Concurrency Theory (CONCUK'98), volume 1466 of LNCS, pages 163-178. Springer, 1998.
4. C. Artho, D. Drusinsky, A. Goldberg, K. Havelund, M. Lowry, C. Pasareanu, G. Rosu, and W. Visser. Experiments with test case generation and runtime analysis. In Börger, Gargantini, and Riccobene, editors, Abstract State Machines 2003, volume 2589 of LNCS, pages 87-107. Springer, 2003.
5. 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.
6. M. Barnett, R. Leino, and W. Schulte. The Spec# programming system: An overview. In M. Huisman, editor, Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, volume 3362 of LNCS, pages 49-69. Springer, 2005.
7. A. Blass, Y. Gurevich, L. Nachmanson, and M. Veanes. Play to test. Technical Report MSR-TR-2005-04, Microsoft Research, January 2005. Revised April 5, 2005.
8. C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes. Model-based testing of object-oriented reactive systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research, 2005.
9. K. Chatterjee, M. Jurdziriski, and T. Henzinger. Simple stochastic parity games. In CSL 03: Computer Science Logic, Lecture Notes in Computer Science 2803, pages 100-113. Springer-Verlag, 2003.
10. L. de Alfaro. Computing minimum and maximum reachability times in probabilistic systems. In International Conference on Concurrency Theory, volume 1664 of LNCS, pages 66-81. Springer, 1999.
11. 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.
12. J. Filar and K. Vrieze. Competitive Markov decision processes. Springer-Verlag New York, Inc., 1996.
13. 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.
14. S. Gujiwara and G. V. Bochman. Testing non-deterministic state machines with fault-coverage. In J. Kroon, R. Heijunk, and E. Brinksma, editors, Protocol Test Systems, pages 363-372, 1992.
15. Y Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Borger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
16. Y. Gurevich, B. Rossman, and W. Schulte. Semantic essence of AsmL. Theoretical Computer Science, 2005.
17. To appear in special issue dedicated to FMCO 2003, preliminary version available as Microsoft Research Technical Report MSR-TR-2004-27.
18. A. Hartman and K. Nagin. Model driven testing - AGEDIS architecture interfaces and tools. In 1st European Conference on Model Driven Software Engineering, pages 1-11, Nuremberg, Germany, December 2003.
19. C. Jard and T. Jéron. TGV: theory, principles and algorithms. In The Sixth World Conference on Integrated Design and Process Technology, IDPT'02, Pasadena, California, June 2002.
20. V. V. Kuliamin, A. K. Petrenko, A. S. Kossatchev, and I. B. Bourdonov. UniTesK: Model based testing in industrial practice. In 1st European Conference on Model Driven Software Engineering, pages 55-63, Nuremberg, Germany, December 2003.
21. 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.
22. A. Petrenko, N. Yevtushenko, and G. v. Bochmann. Testing deterministic implementations from nondeterministic FSM specifications. In B. Baumgarten, H.-J. Burkhardt, and A. Giessler, editors, IFIP TC6 9th International Workshop on Testing of Communicating Systems, pages 125-140. Chapman & Hall, 1996.
23. M. L. Puterman. Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley Series in Probability and Mathematical Statistics. A Wiley-Interscience, New York, 1994.
24. S. Tasiran and S. Qadeer. Runtime refinement checking of concurrent data structures. Electronic Notes in Theoretical Computer Science, 113:163-179, January 2005. Proceedings of the Fourth Workshop on Runtime Verification (RV 2004).
25. 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.
26. M. Veanes, C. Campbell, W. Schulte, and N. Tillmann. Online testing with model programs. In ESEC/FSE'05, 2005.
27. J. von Neumann and O. Morgenstern. The Theory of Games and Economic Behavior. Princeton University Press, 1944.
28. M. Yannakakis. Testing, optimization, and games. In Proceedings of the Nineteenth Annual IEEE Symposium on Logic In Computer Science, LICS 2004, pages 78-88. IEEE, 2004.
29. W. Yi and K. G. Larsen. Testing probabilistic and nondeterministic processes. In Testing and Verification XII, pages 347-61. North Holland, 1992.