Unfortunately, it can be a very arduous and error-prone step, especially when testing a concurrent system.
System developers can therefore benefit from oracles automating the verification of test executions.
The visually intuitive representation of GIL specifications makes them easier to develop and to understand than specifications written in more traditional temporal logics. We have designed and implemented Triveni, an API that achieves the above goals. These ideas could be used to increase the coverage of the test suits. L.K. Dillon and Q. Yu. Oracles for checking temporal properties of concurrent systems.