Assertion-Oriented Automated Test Data Generation

@inproceedings{Korel-AlYami:ICSE96,
  author    = {Bogdan Korel and
               Ali M. Al{-}Yami},
  title     = {{Assertion-Oriented} Automated Test Data Generation},
  booktitle = {ICSE},
  pages     = {71--80},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
}