@inproceedings{mugglcoverage,
 author = {Majchrzak, Tim A. and Kuchen, Herbert},
 title = {Automated Test Case Generation based on Coverage Analysis},
 booktitle = {TASE '09: Proc. of the 2009 3nd IEEE Int. Symp. on Theoretical Aspects of Software Engineering},
 year = {2009},
 publisher = {IEEE Computer Society}
}