Lossy compression applied to the worst case execution time problem
Interpretation and Symbolic Model Checking are powerful techniques in the field of testing. These techniques can verify the correctness of systems by exploring the state space that the systems occupy. As this would normally be intractable for even moderately complicated systems, both techniques empl...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of York
2013
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.638990 |