Validation of reactive embedded systems against temporal requirements
Joanna Strug, Stanisław R. Deniziak, Krzysztof Sapiecha · 2004
Efficient methods of automatic generation of test scenarios to validate a system against functional requirements have already been developed. However, there are no such satisfactory methods as far as temporal requirements are concerned. A method of automatic generation of test scenarios for verification of time constraints for reactive embedded systems is presented.