EasyChair Smart Slide
Automatic Test-Case Reduction in Proof Assistants: a Case Study in Coq
Automatic Test-Case Reduction in Proof Assistants: a Case Study in Coq