Mike Papadakis, Nicos Malevris. Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing. Software Quality Journal, 19(4):691-723, 2011. [doi]
@article{PapadakisM11-0, title = {Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing}, author = {Mike Papadakis and Nicos Malevris}, year = {2011}, doi = {10.1007/s11219-011-9142-y}, url = {http://dx.doi.org/10.1007/s11219-011-9142-y}, tags = {rule-based, testing, search}, researchr = {https://researchr.org/publication/PapadakisM11-0}, cites = {0}, citedby = {0}, journal = {Software Quality Journal}, volume = {19}, number = {4}, pages = {691-723}, }