Paul E. Black Vadim Okun Yaacov Yesha Mutation Operators for Specifications. 81- 2000 ASE http://computer.org/proceedings/ase/0710/07100081abs.htm db/conf/kbse/ase2000.html#BlackOY00