Test data as an aid in proving program correctness

DOI10.1145/359488.359495zbMath0372.68002OpenAlexW2018229346MaRDI QIDQ4148934

Matthew M. Geller

Publication date: 1978

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359488.359495

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (3)

Two notions of correctness and their relation to testing ⋮ Bibliography on the evaluation of numerical software ⋮ A contribution to the theory of program testing

This page was built for publication: Test data as an aid in proving program correctness