On the Use of Transcendentals for Program Testing

DOI10.1145/322234.322247zbMATH Open0452.68016OpenAlexW2042981665MaRDI QIDQ3899472FDOQ3899472

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)