Static analysis driven performance and energy testing.

Abhijeet Banerjee

Published in: SIGSOFT FSE (2014)

Keyphrases

static analysis
symbolic execution
dynamic analysis
test generation
test suite
source code
energy consumption
test cases
test case generation
malicious code
abstract interpretation
java card
regular expressions
software testing
open source
relational databases
test data generation
database
metadata