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

Laura K. Dillon. Automated support for testing and debugging of real-time programs using oracles. ACM SIGSOFT Software Engineering Notes, 25(1):45-46, 2000. [doi]

Abstract

Abstract is missing.