@inproceedings{Heimdahl-Devaraj:ASE04,
author = {Mats Per Erik Heimdahl and
George Devaraj},
title = {{Test-Suite} Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing},
booktitle = {ASE},
pages = {176--185},
publisher = {{IEEE} Computer Society},
year = {2004},
}