Computing Mutation Coverage in Interpolation-Based Model Checking
Chockler, H., Kroening, D., Purandare, M.Volume:
31
Year:
2012
Language:
english
Pages:
14
DOI:
10.1109/tcad.2011.2180382
File:
PDF, 2.66 MB
english, 2012