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}, }