@inproceedings{amari2007efficientalgorithm,
author	=	{Suprasad Amari and Andrew Myers and Antoine Rauzy},
title	=	{An Efficient Algorithm To Analyze New Imperfect Fault Coverage Models},
booktitle	=	{Proceedings of the Reliability And Maintainability Symposium, RAMS'07},
pages	=	{420--426},
address	=	{Orlando, FL, USA},
year	=	{2007},
abstractfile	=	{AmariMyersRauzy2007-ImperfectFaultCoverage.html},
pdffile	=	{AmariMyersRauzy2007-ImperfectFaultCoverage.pdf}
}