Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL.
Chantal KellerPublished in: TAP@STAF (2018)
Keyphrases
- symbolic execution
- theorem prover
- natural deduction
- test generation
- test cases
- static analysis
- formal methods
- test data generation
- formal verification
- hardware designs
- source code
- theorem proving
- model checker
- search based software testing
- software testing
- real time
- dynamic analysis
- quality assurance
- programming environment
- test suite
- database systems
- functional verification
- concurrent programs
- signature verification
- higher order logic
- supplier selection
- decision trees