The applicability of program schema results to programs

DOI10.1007/BF00995175zbMath0427.68017MaRDI QIDQ3863042

Elaine J. Weyuker

Publication date: 1979

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

zbMATH Keywords

optimization theoryprogram testingprogram schema

Mathematics Subject Classification ID

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

Related Items (3)

Integration testing of object-oriented and aspect-oriented programs: A structural pairwise approach for Java ⋮ Improved method to generate path-wise test data ⋮ The complexity of data flow criteria for test data selection

Cites Work

• Unnamed Item
• On formalised computer programs
• Translatability and Decidability Questions for Restricted Classes of Program Schemas

This page was built for publication: The applicability of program schema results to programs