Using Constraints for Equivalent Mutant Detection

Simona Nica Franz Wotawa

Published in: WS-FMDS (2012)

Keyphrases

automatic detection
detection method
linear constraints
detection algorithm
machine learning
object detection
anomaly detection
constrained optimization
data dependencies
data sets
detection scheme
detection accuracy
event detection
change detection
optimal solution
website
information retrieval
neural network