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]
@article{Dillon00-0, title = {Automated support for testing and debugging of real-time programs using oracles}, author = {Laura K. Dillon}, year = {2000}, doi = {10.1145/340855.340884}, url = {http://doi.acm.org/10.1145/340855.340884}, researchr = {https://researchr.org/publication/Dillon00-0}, cites = {0}, citedby = {0}, journal = {ACM SIGSOFT Software Engineering Notes}, volume = {25}, number = {1}, pages = {45-46}, }