Testing for Perturbations of Program Statements

DOI10.1109/TSE.1983.236870zbMath0509.68012MaRDI QIDQ4747501

Steven J. Zeil

Publication date: 1983

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

zbMATH Keywords

program validationmutation testingprogram testingpath analysis testingperturbation testing

Mathematics Subject Classification ID

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

This page was built for publication: Testing for Perturbations of Program Statements