Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms

Ruining (Ray) Wu, Ian M. Mitchell. Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. In Majid Zamani, Damien Zufferey, editors, Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings. Volume 11652 of Lecture Notes in Computer Science, pages 128-144, Springer, 2019. [doi]

@inproceedings{WuM19-6,
  title = {Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms},
  author = {Ruining (Ray) Wu and Ian M. Mitchell},
  year = {2019},
  doi = {10.1007/978-3-030-28423-7_9},
  url = {https://doi.org/10.1007/978-3-030-28423-7_9},
  researchr = {https://researchr.org/publication/WuM19-6},
  cites = {0},
  citedby = {0},
  pages = {128-144},
  booktitle = {Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings},
  editor = {Majid Zamani and Damien Zufferey},
  volume = {11652},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-28423-7},
}