Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.

Xin Wang, Ji Wang, Zhi-Chang Qi

Browse the full FORTE paper archive.