Algorithmic verification of procedural programs in the presence of code variability.
Siavash SoleimanifardDilian GurovPublished in: Sci. Comput. Program. (2016)
Keyphrases
- symbolic execution
- java bytecode
- source code
- java programs
- program code
- static analysis
- error handling
- program slicing
- model checking
- formal verification
- control flow
- test generation
- genetic algorithm
- programming environment
- computer programs
- virtual machine
- operating system
- object oriented
- byte code
- face verification
- software product line
- java virtual machine
- expert systems
- face recognition