Program testing by specification mutation

DOI10.1016/0096-0551(85)90011-6zbMATH Open0551.68015OpenAlexW2027711654MaRDI QIDQ3343418FDOQ3343418

Ajei S. Gopal, Timothy A. Budd

Publication date: 1985

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(85)90011-6

zbMATH Keywords

verificationtestingvalidationmutation analysisspecifications

Mathematics Subject Classification ID

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

Cited In (1)

• Mutation testing in UTP

This page was built for publication: Program testing by specification mutation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3343418)