Integration of Safety Verification with Conformance Testing in Real-Time Reactive System.

Haiying Sun, Jing Liu, Dehui Du

Browse the full APSEC paper archive.