TY  - JOUR
AU  - Paul Black
C2  - IEEE IT Professional
DA  - 2013-11-22
LA  - en
M1  - 16
PB  - IEEE IT Professional
PY  - 2013
TI  - Test Generation Using Model Checking and Specification Mutation
ER  -