Synthesis of test purpose directed reactive planning tester for nondeterministic systems

doi:10.1145/1321631.1321685

Synthesis of test purpose directed reactive planning tester for nondeterministic systems

Full Text:

PDF

Buy this Article

Authors:	Jüri Vain	Tallinn Univ. of Technology, Tallinn, Estonia
	Kullo Raiend	Elvior, Tallinn, Estonia
	Andres Kull	Elvior, Tallinn, Estonia
	Juhan P. Ernits	Institute of Cybernetics, Tallinn, Estonia

	2007 Article
Bibliometrics
· Downloads (6 Weeks): 6 · Downloads (12 Months): 23 · Citation Count: 2

Published in:

	· Proceeding
	ASE '07 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
	ACM New York, NY, USA ©2007 table of contents ISBN: 978-1-59593-882-4 doi>10.1145/1321631.1321685

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref
Upcoming Conference:
- ASE'12

Tags: algorithms model-based testing nondeterministic extended finite state machine online testing plan execution, formation, and generation reactive planning reliability testing tools

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2012 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player