Login / Signup
Symbolic execution for a clash-free subset of ASMs.
Gerhard Schellhorn
Gidon Ernst
Jörg Pfähler
Stefan Bodenmüller
Wolfgang Reif
Published in:
Sci. Comput. Program. (2018)
Keyphrases
</>
symbolic execution
static analysis
test generation
test data generation
source code
specification language
active shape model
data flow
software engineering
databases
multi agent systems
programming language
test cases