On the Use of Transcendentals for Program Testing

DOI10.1145/322234.322247MaRDI QIDQ3899472zbMATHOpenAlexFDO

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 validationprogram testingtranscendentalstest data selection

Mathematics Subject Classification ID

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

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)