Generating test items for checking illegal behaviors in software testing

Masayuki Hirayama, Jiro Okayasu, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno. Generating test items for checking illegal behaviors in software testing. In 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan. pages 235-240, IEEE Computer Society, 2000. [doi]

@inproceedings{HirayamaOYMK00,
  title = {Generating test items for checking illegal behaviors in software testing},
  author = {Masayuki Hirayama and Jiro Okayasu and Tetsuya Yamamoto and Osamu Mizuno and Tohru Kikuno},
  year = {2000},
  url = {http://csdl.computer.org/comp/proceedings/ats/2000/0887/00/08870235abs.htm},
  tags = {testing},
  researchr = {https://researchr.org/publication/HirayamaOYMK00},
  cites = {0},
  citedby = {0},
  pages = {235-240},
  booktitle = {9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0887-1},
}