Model Checkers in Software Testing

@inproceedings{Black2002ModelCI,
  title={Model Checkers in Software Testing},
  author={Paul E. Black and Paul Ammann and Wanning Ding},
  year={2002}
}