On the Selection of Test Data for Recursive Mathematical Subroutines

DOI10.1137/0210005zbMath0464.68015OpenAlexW1976828029MaRDI QIDQ3916001

Philip J. Davis, J. H. Rowland

Publication date: 1981

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0210005

zbMATH Keywords

verificationsamplingdifference equationsprogram testing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Two notions of correctness and their relation to testing

This page was built for publication: On the Selection of Test Data for Recursive Mathematical Subroutines