Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller. Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. IEEE Trans. Software Eng., 41(10):1019-1037, 2015. [doi]
@article{GaleottiFMFZ15,
title = {Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking},
author = {Juan P. Galeotti and Carlo A. Furia and Eva May and Gordon Fraser and Andreas Zeller},
year = {2015},
doi = {10.1109/TSE.2015.2431688},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2015.2431688},
researchr = {https://researchr.org/publication/GaleottiFMFZ15},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {41},
number = {10},
pages = {1019-1037},
}