@article{5956,
  author = {Paul Black},
  title = {Test Generation Using Model Checking and Specification Mutation},
  year = {2013},
  number = {16},
  month = {2013-11-22},
  publisher = {IEEE IT Professional},
  language = {en},
}