CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution).
Kareem KhazemMichael TautschnigPublished in: TACAS (3) (2019)
Keyphrases
- symbolic execution
- model checker
- specification language
- model checking
- description language
- formal specification
- formal verification
- static analysis
- formal methods
- test suite
- programming language
- temporal logic
- test generation
- test data generation
- data flow
- set theory
- ai planning
- source code
- neural network
- software architecture
- test cases
- knowledge base
- web services
- general purpose
- rough sets
- software development