Ahmed S. Ghiduk, Moheb R. Girgis, Marwa H. Shehata. Employing Dynamic Symbolic Execution for Equivalent Mutant Detection. IEEE Access, 7:163767-163777, 2019. [doi]
@article{GhidukGS19,
title = {Employing Dynamic Symbolic Execution for Equivalent Mutant Detection},
author = {Ahmed S. Ghiduk and Moheb R. Girgis and Marwa H. Shehata},
year = {2019},
doi = {10.1109/ACCESS.2019.2952246},
url = {https://doi.org/10.1109/ACCESS.2019.2952246},
researchr = {https://researchr.org/publication/GhidukGS19},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {7},
pages = {163767-163777},
}