Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq.

Jason Gross Théo Zimmermann Miraya Poddar-Agrawal Adam Chlipala

Published in: CoRR (2022)

Keyphrases

test cases
theorem prover
test case selection
test suite
test data
black box
test case generation
software testing
regression testing
test sequences
test generation
test set
testing process
case study
set of test cases
intelligent agents
test suite reduction
object oriented
execution paths
semi supervised