DMCA

Mutation of Model Checker Specifications for Test Generation and Evaluation (2000)

by Paul E. Black, et al.
Venue:IN PROCEEDINGS OF MUTATION 2000
Citations:9 - 0 self