Te-Chang Lee

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

1 Te-Chang Lee, Pao-Ann Hsiung: Mutation Coverage Estimation for Model Checking. ATVA 2004: 354-368

	2004
1		Te-Chang Lee, Pao-Ann Hsiung: Mutation Coverage Estimation for Model Checking. ATVA 2004: 354-368

Coauthor Index

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page