Evolutionary Testing of Temporal Correctness. Introduction Testing is aimed at finding errors in the systems. Testing real-time system, tester have to.