Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution.

Jera Hensel Jürgen Giesl Florian Frohn Thomas Ströder

Published in: SEFM (2016)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
term rewrite systems
data flow
description language
test cases
simulated annealing algorithm
term rewriting
active rules
evolutionary algorithm
training data
neural network
databases