Mutation testing applied to validate specifications based on statecharts.

Sandra Camargo Pinto Ferraz Fabbri, Jos Carlos Maldonado, Tatiana Sugeta, Paulo Csar Masiero

Browse the full ISSRE paper archive.