Mutation testing applied to validate specifications based on statecharts

Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Tatiana Sugeta, Paulo César Masiero. Mutation testing applied to validate specifications based on statecharts. In 10th International Symposium on Software Reliability Engineering, ISSRE, 1999, Boca Raton, FL, USA, November 1-4, 1999. pages 210-219, IEEE Computer Society, 1999. [doi]

@inproceedings{FabbriMSM99,
  title = {Mutation testing applied to validate specifications based on statecharts},
  author = {Sandra Camargo Pinto Ferraz Fabbri and José Carlos Maldonado and Tatiana Sugeta and Paulo César Masiero},
  year = {1999},
  doi = {10.1109/ISSRE.1999.809326},
  url = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.1999.809326},
  researchr = {https://researchr.org/publication/FabbriMSM99},
  cites = {0},
  citedby = {0},
  pages = {210-219},
  booktitle = {10th International Symposium on Software Reliability Engineering, ISSRE, 1999, Boca Raton, FL, USA, November 1-4, 1999},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0443-4},
}