TY - CONF AU - Paul Black AU - Vadim Okun AU - Yaacov Yesha C2 - Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, DA - 2000-09-15 DO - https://doi.org/10.1109/ASE.2000.873653 LA - en PB - Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, PY - 2000 TI - Mutation Operators for Specifications ER -