Mutation of Model Checker Specifications for Test Generation and Evaluation
doi 10.1007/978-1-4757-5939-6_5
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2001
Authors
Publisher
Springer US
Available in full text
January 1, 2001
Springer US