Automated support for testing and debugging of real-time programs using oracles

[1]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[2]  Moon-Jung Chung,et al.  Analysis of a scheduler for a CAD framework , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[3]  Laura K. Dillon,et al.  Generating oracles from your favorite temporal logic specifications , 1996, SIGSOFT '96.

[4]  George S. Avrunin,et al.  Analyzing Partially-Implemented Real-Time Systems , 1998, IEEE Trans. Software Eng..