TY  - RPRT
TI  - Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
AU  - Bernhard K. Aichernig
AU  - Elisabeth Jöbstl
PY  - 2012
DO  - 10.4204/eptcs.80.7
UR  - https://arxiv.org/abs/1202.6123
ID  - 1202.6123
ER  -