Sign in
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
Stijn de Gouw
Frank S. de Boer
Wolfgang Ahrendt
Richard Bubel
Published in:
Softw. Syst. Model. (2016)
Keyphrases
</>
symbolic execution
dynamic logic
test generation
static analysis
test data generation
propositional dynamic logic
specification language
source code
data flow
reasoning about actions
artificial intelligence
formal specification
modal logic
software systems
test cases
machine learning
imperative programs