Automated Model-Based Test Generation for Timed Systems

By Elisangela Vieira

Model-based test generation is an approach to generate test cases based on a formal model. Although test generation methods have long existed, its timed counterpart is still a new field. In addition,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3838355849
• ISBN13: 9783838355849
• Release Date: May 2010
• Publisher: LAP Lambert Academic Publishing
• Length: 200 Pages
• Weight: 0.66 lbs.
• Dimensions: 0.5" x 6.0" x 9.0"