A symbolic execution semantics for TopHat.

Nico Naus Tim Steenvoorden Markus Klinik

Published in: IFL (2019)

Keyphrases

symbolic execution
specification language
test data generation
static analysis
test generation
programming language
description language
source code
formal specification
database
semantic information
neural network
test cases
databases
object oriented