Mutation Testing Repository

Name:	Te-Chang Lee
Affiliation:	National Chung Cheng University
Email:
Webpage:

1	Te-Chang Lee and Pao-Ann Hsiung Mutation Coverage Estimation for Model Checking Proceedings of the 2nd International Conference on Automated Technology for Verification and Analysis (ATVA'04)Taipei, Taiwan, 31 October - 3 November 2004.
1	BibTeX \| Abstract \| URL
	Abstract: Available soon...
	@INPROCEEDINGS{LeeH04, author = {Te-Chang Lee and Pao-Ann Hsiung}, title = {Mutation Coverage Estimation for Model Checking}, booktitle = {Proceedings of the 2nd International Conference on Automated Technology for Verification and Analysis (ATVA'04)}, year = {2004}, address = {Taipei, Taiwan}, month = {31 October - 3 November}, pages = {354-368} }