Login / Signup
Compact Symbolic Execution (technical report)
Marek Trtík
Published in:
CoRR (2012)
Keyphrases
</>
technical report
symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
data sets
machine vision
databases
simulated annealing algorithm
object oriented
genetic algorithm
formal specification
quality control
xml schema
test cases
open source