Program testing by specification mutation

DOI10.1016/0096-0551(85)90011-6zbMath0551.68015OpenAlexW2027711654MaRDI QIDQ3343418

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

verificationtestingspecificationsvalidationmutation analysis

Mathematics Subject Classification ID

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

Related Items (1)

Mutation testing in UTP

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