An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification.

Xin Wang, Zhi-Chang Qi, Shuhao Li

Browse the full ICECCS paper archive.