A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards

@inproceedings{Watanabe-Sakamura:ICSE96,
  author    = {Aki Watanabe and
               Ken Sakamura},
  title     = {A {Specification-Based} Adaptive Test Case Generation Strategy for Open Operating System Standards},
  booktitle = {ICSE},
  pages     = {81--89},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
}