Algorithmic Verification of Procedural Programs in the Presence of Code Variability.
Siavash SoleimanifardDilian GurovPublished in: FACS (2014)
Keyphrases
- symbolic execution
- java bytecode
- source code
- model checking
- java programs
- computer programs
- error handling
- static analysis
- formal verification
- data flow
- test generation
- program slicing
- control flow
- temporal logic
- program code
- code generation
- procedural knowledge
- legacy software
- concurrent programs
- declarative knowledge
- software product line
- error correcting
- web services
- virtual machine
- software development
- software engineering