Li Huang, Bertrand Meyer 0001, Manuel Oriol. Improving Counterexample Quality from Failed Program Verification. In IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022. pages 268-273, IEEE, 2022. [doi]
Abstract is missing.