Static analysis of mutant subsumption.

Bob Kurtz Paul Ammann Jeff Offutt

Published in: ICST Workshops (2015)

Keyphrases

static analysis
dynamic analysis
description logics
source code
symbolic execution
java card
np complete
malicious code
regular expressions
abstract interpretation
refinement operators
differential evolution
database
high level
test suite
client server
building blocks
relational databases
training data