Reducing the verification cost of evolving product families using static analysis techniques.

Hamideh Sabouri Ramtin Khosravi

Published in: Sci. Comput. Program. (2014)

Keyphrases

static analysis
symbolic execution
java card
test generation
dynamic analysis
source code
abstract interpretation
regular expressions
malicious code
model checking
database
error rate
metadata
data sets
total cost
test suite
semi automatic
open source
real world
databases