Shaoying Liu. Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs. In Andrei Voronkov, editor, Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. Volume 10 of EPiC Series, pages 229-238, EasyChair, 2012. [doi]
Abstract is missing.