TY  - RPRT
TI  - Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
AU  - Juan P. Galeotti
AU  - Carlo A. Furia
AU  - Eva May
AU  - Gordon Fraser
AU  - Andreas Zeller
PY  - 2016
DO  - 10.1109/tse.2015.2431688
UR  - https://arxiv.org/abs/1407.5286
ID  - 1407.5286
ER  -