Case studies on fault detection effectiveness of model based test generation techniques

Amit M. Paradkar. Case studies on fault detection effectiveness of model based test generation techniques. In Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA. ACM, 2005. [doi]

@inproceedings{Paradkar05:0,
  title = {Case studies on fault detection effectiveness of model based test generation techniques},
  author = {Amit M. Paradkar},
  year = {2005},
  doi = {10.1145/1083274.1083286},
  url = {http://doi.acm.org/10.1145/1083274.1083286},
  tags = {rule-based, case study, testing},
  researchr = {https://researchr.org/publication/Paradkar05%3A0},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA},
  publisher = {ACM},
  isbn = {1-59593-115-5},
}