Mutation-Based Test-Case Generation with Ecdar
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (2017) - Comments
doi: 10.1109/icstw.2017.60 

Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik M. Nyman