Mutation of Model Checker Specifications for Test Generation and Evaluation

doi 10.1007/978-1-4757-5939-6_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US