Case Study of Coverage-Checked Random Data Structure Testing

@inproceedings{Andrews:ASE04,
  author    = {James H. Andrews},
  title     = {Case Study of {Coverage-Checked} Random Data Structure Testing},
  booktitle = {ASE},
  pages     = {316--319},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}