Test data as an aid in proving program correctness
From MaRDI portal
Publication:4148934
DOI10.1145/359488.359495zbMath0372.68002MaRDI QIDQ4148934
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
68N01: General topics in the theory of software
Related Items
A contribution to the theory of program testing, Two notions of correctness and their relation to testing, Bibliography on the evaluation of numerical software