Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok. Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts. In 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022. pages 124-128, IEEE, 2022. [doi]
Abstract is missing.