Coverage Based Test-Case Generation Using Model Checkers

Sanjai Rayadurgam, Mats Per Erik Heimdahl. Coverage Based Test-Case Generation Using Model Checkers. In 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA. pages 83, IEEE Computer Society, 2001. [doi]

@inproceedings{RayadurgamH01:0,
  title = {Coverage Based Test-Case Generation Using Model Checkers},
  author = {Sanjai Rayadurgam and Mats Per Erik Heimdahl},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/ecbs/2001/1086/00/10860083abs.htm},
  tags = {rule-based, test coverage, testing, coverage},
  researchr = {https://researchr.org/publication/RayadurgamH01%3A0},
  cites = {0},
  citedby = {0},
  pages = {83},
  booktitle = {8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1086-8},
}