MEDIC: A static analysis framework for equivalent mutant identification.

Marinos Kintis Nicos Malevris

Published in: Inf. Softw. Technol. (2015)

Keyphrases

static analysis
main contribution
domain specific
dynamic analysis
case study
feature space
relational databases
semi automatic
abstract interpretation