Login / Signup

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

Geng-Dian HuangFarn Wang
Published in: ATVA (2005)
Keyphrases