@conference{11486,
  author = {Paul Black and Vadim Okun and Yaacov Yesha},
  title = {Mutation Operators for Specifications},
  year = {2000},
  month = {2000-09-15},
  publisher = {Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, },
  doi = {https://doi.org/10.1109/ASE.2000.873653},
  language = {en},
}