Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.

Geng-Dian Huang, Farn Wang

Browse the full ATVA paper archive.