Worst-Case Execution Time Testing via Evolutionary Symbolic Execution.

Andrea Aquino Giovanni Denaro Pasquale Salza

Published in: ISSRE (2018)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
test cases
genetic algorithm
software testing
programming language
generation algorithm
optimal solution
object oriented
differential evolution
regular expressions