Search
 
loader loading subjects...
cover
Automatic Test Generation and Monitoring of Infinite States Systems
Doron Peled
127 - 142
NATO Security through Science Series - D: Information and Communication Security
Volume 1: Verification of Infinite-State Systems with Applications to Security
Abstract

Testing is the most commonly used method for debugging software. We survey here several techniques that are used for assisting the tester in generating a test suite that reflects his intuition about potential problems in the software. Then we show how to enfore and monitor these test cases.

$35.00 / €27.50 / £22.00
Add PDF to cart