@INPROCEEDINGS{LiuM05, author = {Ling Liu and Huaikou Miao}, title = {Mutation Operators for Object-Z Specification}, booktitle = {Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)}, year = {2005}, address = {Shanghai, China}, month = {16-20 June}, pages = {498-506} }