Automated Random Testing to Detect Specification-Code Inconsistencies

Yoonsik Cheon. Automated Random Testing to Detect Specification-Code Inconsistencies. In Dimitris A. Karras, Daming Wei, Jaroslav Zendulka, editors, International Conference on Software Engineering Theory and Practice, SETP-07, Orlando, Florida, USA, July 9-12 2007. pages 112-119, ISRST, 2007.

@inproceedings{Cheon07:0,
  title = {Automated Random Testing to Detect Specification-Code Inconsistencies},
  author = {Yoonsik Cheon},
  year = {2007},
  tags = {testing, random testing},
  researchr = {https://researchr.org/publication/Cheon07%3A0},
  cites = {0},
  citedby = {0},
  pages = {112-119},
  booktitle = {International Conference on Software Engineering Theory and Practice, SETP-07, Orlando, Florida, USA, July 9-12  2007},
  editor = {Dimitris A. Karras and Daming Wei and Jaroslav Zendulka},
  publisher = {ISRST},
  isbn = {978-0-9727412-6-2},
}