公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2005 | Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems | G.-D. Huang; FARN WANG | 3rd ATVA (Automated Technology for Verification and Analysis) | 6 | ||
2003 | Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems | FARN WANG ; G.-D. Huang; F. Yu. | FORTE'2003, LNCS 2767 | 8 | 5 |