On finding test data sets for loop free programs

DOI10.1016/0020-0190(79)90155-8zbMath0397.68005OpenAlexW1972404201MaRDI QIDQ1253889

John C. Cherniavsky

Publication date: 1979

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(79)90155-8

zbMATH Keywords

Loop Free ProgramsTest Data Sets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Applications of computability and recursion theory (03D80) General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• Three universal representations of recursively enumerable sets

This page was built for publication: On finding test data sets for loop free programs