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

G.-D. HuangFARN WANG2018-09-102018-09-102005-10http://scholars.lib.ntu.edu.tw/handle/123456789/317815Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systemsconference paper10.1007/11562948_132-s2.0-33646202371WOS:000233895300013