Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis.
Moritz KieferVladimir KlebanovMattias UlbrichPublished in: J. Autom. Reason. (2018)
Keyphrases
- dynamic analysis
- static analysis
- symbolic execution
- model checking
- reverse engineering
- information retrieval
- source code
- relational databases
- knowledge base
- knowledge representation
- automated reasoning
- abstract interpretation
- general purpose
- reasoning process
- query expansion
- data model
- information retrieval systems
- programming language
- regular expressions
- relevance feedback
- formal verification
- databases
- java bytecode
- model based diagnosis
- relational data
- software systems
- query processing
- case study