Medusa: Mutant Equivalence Detection Using Satisfiability Analysis.

Benjamin Kushigian Amit Rawat René Just

Published in: ICST Workshops (2019)

Keyphrases

automatic analysis
data analysis
automatic detection
automated analysis
case study
particle swarm optimization
real time
data sets
genetic algorithm
evolutionary algorithm
detection algorithm
detection method
query answering
false alarms
detection accuracy