@INPROCEEDINGS{Paradkar05, author = {Amit Paradkar}, title = {Case Studies on Fault Detection Effectiveness of Model Based Test Generation Techniques}, booktitle = {Proceedings of the 1st International Workshop on Advances in Model-Based Testing (A-MOST'05)}, year = {2005}, address = {St. Louis, Missouri}, month = {15-16 May}, pages = {1 - 7} }