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}, }