Sciweavers

COMPSAC
2004
IEEE
13 years 9 months ago
Mutation-Based Testing Criteria for Timeliness
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
Robert Nilsson, Jeff Offutt, Sten F. Andler