https://scholars.lib.ntu.edu.tw/handle/123456789/317815
Title: | Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems | Authors: | G.-D. Huang FARN WANG |
Issue Date: | Oct-2005 | Start page/Pages: | 144-158 | Source: | 3rd ATVA (Automated Technology for Verification and Analysis) | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/317815 | DOI: | 10.1007/11562948_13 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.