Black, P.
(2013),
Test Generation Using Model Checking and Specification Mutation, IEEE IT Professional
(Accessed July 17, 2025)
If you have any questions about this publication or are having problems accessing it, please contact [email protected].