Utilizing Hoare logic to strengthen testing for error detection in programs

DOI10.29007/FML1MaRDI QIDQ6874947zbMATH OpenFDO

Authors Shaoying Liu

Publication date 14 January 2026

Full work available at URL https://doi.org/10.29007/FML1

zbMATH Keywords

Hoare logicprogram analysissoftware testingspecification-based testing

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites work

• A simple and practical approach to unit testing: The JML and JUnit way
• An axiomatic definition of the programming language Pascal
• Automatic transformation from formal specifications to functional scenario forms for automatic test case generation
• scientific article; zbMATH DE number 2107183 (Why is no real title available?)

This page was built for publication: Utilizing Hoare logic to strengthen testing for error detection in programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6874947)