More Reliable Test Suites for Dynamic APR by using Counterexamples. - Amirfarhad Nilizadeh; Marlon Calvo; Gary T. Leavens; Xuan-Bach Dinh Le 001 (ISSRE, 2021)

Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts. - Amirfarhad Nilizadeh; Marlon Calvo; Gary T. Leavens; David R. Cok (FormaliSE@ICSE, 2022)