Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq.
Jason GrossThéo ZimmermannMiraya Poddar-AgrawalAdam ChlipalaPublished in: ITP (2022)
Keyphrases
- test cases
- theorem prover
- software testing
- test case selection
- test data
- regression testing
- test suite
- black box
- test data generation
- case study
- test sequences
- test suite reduction
- number of test cases
- test case generation
- set of test cases
- test generation
- testing process
- test set
- databases
- support vector machine
- integration testing
- formal methods
- database
- neural network
- object oriented