DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. - Juan Pablo Galeotti; Carlo A. Furia; Eva May; Gordon Fraser 001; Andreas Zeller (Haifa Verification Conference, 2014)

Automating Full Functional Verification of Programs with Loops. - Juan P. Galeotti; Carlo A. Furia; Eva May; Gordon Fraser 001; Andreas Zeller (CoRR, 2014)

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. - Juan P. Galeotti; Carlo A. Furia; Eva May; Gordon Fraser 001; Andreas Zeller (IEEE Trans. Software Eng., 2015)