Property-Oriented Testing of Real-Time Systems.

Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi

Browse the full APSEC paper archive.