Verification of C Programs using Slicing Execution.
Xiaodong YiJi WangXuejun YangPublished in: QSIC (2005)
Keyphrases
- symbolic execution
- program slicing
- formal verification
- program execution
- source code
- control flow
- test data generation
- static analysis
- test generation
- hardware designs
- database transactions
- model checking
- data flow
- data sets
- application programs
- fault localization
- plan generation
- verification method
- fixpoint
- database systems
- learning algorithm
- database
- functional verification