On the Use of Transcendentals for Program Testing

DOI10.1145/322234.322247MaRDI QIDQ3899472zbMATH OpenOpenAlexFDO

Authors J. H. Rowland, Philip J. Davis

Publication date 1981

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

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

zbMATH Keywords

correctness proofsprogram testingprogram validationtest data selectiontranscendentals

Mathematics Subject Classification ID

Transcendence (general theory) (11J81) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: On the Use of Transcendentals for Program Testing

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