Real-time software techniques

Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing

Real-Time Systems

Testing real-time systems using genetic algorithms

Software Quality Control

A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints

Real-Time Systems

A grey-box approach to the functional testing of complex automatic train protection systems

EDCC'05 Proceedings of the 5th European conference on Dependable Computing