Online testing with reinforcement learning

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

Volumn 4262 LNCS, Issue , 2006, Pages 240-253

  Veanes, Margus ^a   Roy, Pritam ^b   Campbell, Colin ^a  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

E-LEARNING; MARKOV PROCESSES; REINFORCEMENT LEARNING; TESTING; VERIFICATION;

CONFORMANCE CHECKING; IMPLEMENTATION UNDER TESTS; MARKOV DECISION PROCESSES; MODEL PROGRAMS; ON-LINE TESTING; REINFORCEMENT LEARNING TECHNIQUES; SYSTEM BEHAVIORS; TEST DERIVATION;

SOFTWARE TESTING;

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

References (20)

1. 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.
2. A. Blass, Y. Gurevich, L. Nachmanson, and M. Veanes. Play to test. Technical Report MSR-TR-2005-04, Microsoft Research, January 2005. Short version of this report was presented at FATES 2005.
3. E. Brinksma and J. Tretmans. Testing Transition Systems: An Annotated Bibliography. In Summer School MOVEP'2k-Modelling and Verification of Parallel Processes, volume 2067 of LNCS, pages 187-193. Springer, 2001.
4. C. Campbell and M. Veanes. State exploration with multiple state groupings. In D. Beauquier, E. Borger, 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.
5. A. Chakrabarti, L. de Alfaro, T. A. Henzinger, and F. Y. C. Mang. Synchronous and bidirectional component interfaces. In CAV, pages 414-427, 2002.
6. K. Chatterjee, L. de Alfaro, and T. A. Henzinger. Trading memory for randomness. In QEST, pages 206-217, 2004.
7. 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.
8. L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFTSymposium on the Foundations of Software Engineering (ESEC/FSE), pages 109-120. ACM, 2001.
9. 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.
10. W. Grieskamp, N. Tillmann, and W. Schulte. Xrt - exploring runtime for .NET architecture and applications. Technical Report MSR-TR-2005-63, Microsoft Research, June 2005. Presented at SoftMC 2005.
11. 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.
12. L. Kaelbling, M. Littman, and A. Moore. Reinforcement learning: A survey, 1996.
13. H. Li and C. Lam. Using anti-ant-like agents to generate test threads from the uml diagrams. In Proc. Testcom 2005, LNCS. Springer, 2005.
14. D. Peled, M. Y. Vardi, and M. Yannakakis. Black box checking. In FORTE, pages 225-240, 1999.
15. C. S. Pǎsǎreanu, R. Pelánek, and W. Visser. Concrete model checking with abstract matching and refinement. In Computer Aided Verification (CAV 2005), volume 3576 of LNCS, pages 52-66. Springer, 2005.
16. R. S. Sutton and A. G. Barto. Reinforcement Learning: An Introduction. MIT, 1998. URL: http://www.cs.ualberta.ca/ sutton/book/ebook/the-book.html.
17. J. Tretmans and A. Belinfante. Automatic testing with formal methods. In EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review, Barcelona, Spain, November 8-12, 1999. EuroStar Conferences, Galway, Ireland.
18. 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.
19. M. van der Bij, A. Rensink, and J. Tretmans. Compositional testing with ioco. In A. Petrenko and A. Ulrich, editors, Formal Approaches to Software Testing: Third International Workshop, FATES 2003, volume 2931 of LNCS, pages 86-100. Springer, 2004.
20. M. Veanes, C. Campbell, W. Schulte, and N. Tillmann. Online testing with model programs. In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pages 273-282. ACM, 2005.