Mutation Operators for Object-Z Specification.

Ling Liu, Huaikou Miao

Browse the full ICECCS paper archive.