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

Generating oracles from your favorite temporal logic specifications

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering

Analyzing Partially-Implemented Real-Time Systems

IEEE Transactions on Software Engineering

Analysis of a scheduler for a CAD framework

Proceedings of the 21st international conference on Software engineering

Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering