Sign in
Specification of concretization and symbolization policies in symbolic execution.
Robin David
Sébastien Bardin
Josselin Feist
Laurent Mounier
Marie-Laure Potet
Thanh Dinh Ta
Jean-Yves Marion
Published in:
ISSTA (2016)
Keyphrases
</>
symbolic execution
specification language
formal specification
static analysis
test generation
test data generation
description language
programming language
source code
high level
general purpose
data sets
data flow
simulated annealing algorithm
neural network
model checking