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

Jason Gross, Tho Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala

Browse the full ITP paper archive.