Sign in
Abstract Interpretation, Symbolic Execution and Constraints.
Roberto Amadini
Graeme Gange
Peter Schachte
Harald Søndergaard
Peter J. Stuckey
Published in:
Gabbrielli's Festschrift (2020)
Keyphrases
</>
symbolic execution
static analysis
abstract interpretation
dynamic analysis
source code
test generation
termination analysis
databases
active databases
test data generation
artificial intelligence
data flow
specification language