Symbolic Execution for Realizability-Checking of Scenario-based Specifications.

Joel Greenyer Timo Gutjahr

Published in: Software Engineering (2018)

Keyphrases

symbolic execution
specification language
formal specification
description language
test data generation
programming language
static analysis
test generation
source code
data flow
high level
database
case study
orders of magnitude
evolutionary algorithm
artificial intelligence
neural network
databases
data sets