Denotational Semantics for Symbolic Execution.
Erik VoogdÅsmund Aqissiaq Arild KløvstadEinar Broch JohnsenPublished in: ICTAC (2023)
Keyphrases
- symbolic execution
- denotational semantics
- programming language
- specification language
- static analysis
- test data generation
- test generation
- operational semantics
- source code
- abstract data types
- data flow
- data types
- query language
- general purpose
- high level
- test cases
- object oriented
- distributed systems
- simulated annealing algorithm
- software engineering
- data model
- multi agent systems