Xin Wang Zhi-Chang Qi Shuhao Li An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. 440-449 2005 conf/iceccs/2005 ICECCS http://dx.doi.org/10.1109/ICECCS.2005.22 db/conf/iceccs/iceccs2005.html#WangQL05