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

Joel Greenyer Timo Gutjahr

Published in: MoDELS (2017)

Keyphrases

symbolic execution
specification language
formal specification
test generation
static analysis
programming language
description language
test data generation
source code
data flow
high level
software testing
distributed systems