A logic mutation approach to selective mutation for programs and queries

Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt. A logic mutation approach to selective mutation for programs and queries. Information \& Software Technology, 53(10):1137-1152, 2011. [doi]

@article{KaminskiPAO11,
  title = {A logic mutation approach to selective mutation for programs and queries},
  author = {Garrett Kent Kaminski and Upsorn Praphamontripong and Paul Ammann and Jeff Offutt},
  year = {2011},
  doi = {10.1016/j.infsof.2011.03.009},
  url = {http://dx.doi.org/10.1016/j.infsof.2011.03.009},
  tags = {logic programming, logic, systematic-approach},
  researchr = {https://researchr.org/publication/KaminskiPAO11},
  cites = {0},
  citedby = {0},
  journal = {Information \& Software Technology},
  volume = {53},
  number = {10},
  pages = {1137-1152},
}