A Recursion Theoretic Approach to Program Testing

DOI10.1109/TSE.1987.233489zbMath0617.68014OpenAlexW2110256630MaRDI QIDQ4727403

John C. Cherniavsky, Carl H. Smith

Publication date: 1987

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1987.233489

zbMATH Keywords

synthesis of programsInductive inferencewhite box testing

Mathematics Subject Classification ID

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

Related Items

Approximate testing and its relationship to learning ⋮ Introducing complexity to formal testing ⋮ Training sequences

This page was built for publication: A Recursion Theoretic Approach to Program Testing