Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gross, Jason, Zimmermann, Théo, Agrawal, Rajashree, Chlipala, Adam
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
von: Gross, Jason, et al.
Veröffentlicht: (2023)

Towards Automatic Transformations of Coq Proof Scripts
von: Magaud, Nicolas
Veröffentlicht: (2024)

CoqPyt: Proof Navigation in Python in the Era of LLMs
von: Carrott, Pedro, et al.
Veröffentlicht: (2024)

Automatic Build Repair for Test Cases using Incompatible Java Versions
von: Mak, Ching Hang, et al.
Veröffentlicht: (2024)

Enriching Automatic Test Case Generation by Extracting Relevant Test Inputs from Bug Reports
von: Ouédraogo, Wendkûuni C., et al.
Veröffentlicht: (2023)

Automatic High-Level Test Case Generation using Large Language Models
von: Hasan, Navid Bin, et al.
Veröffentlicht: (2025)

Automatically Learning a Precise Measurement for Fault Diagnosis Capability of Test Cases
von: Zhao, Yifan, et al.
Veröffentlicht: (2025)

LLMCFG-TGen: Using LLM-Generated Control Flow Graphs to Automatically Create Test Cases from Use Cases
von: Yang, Zhenzhen, et al.
Veröffentlicht: (2025)

Introducing Ensemble Machine Learning Algorithms for Automatic Test Case Generation using Learning Based Testing
von: Rahman, Sheikh Md. Mushfiqur, et al.
Veröffentlicht: (2024)

Does Functional Package Management Enable Reproducible Builds at Scale? Yes
von: Malka, Julien, et al.
Veröffentlicht: (2025)

Docker Does Not Guarantee Reproducibility
von: Malka, Julien, et al.
Veröffentlicht: (2026)

Reproducibility of Build Environments through Space and Time
von: Malka, Julien, et al.
Veröffentlicht: (2024)

Automatic Building Code Review: A Case Study
von: Wan, Hanlong, et al.
Veröffentlicht: (2025)

Bita: A Conversational Assistant for Fairness Testing
von: Johnson, Keeryn, et al.
Veröffentlicht: (2025)

Automated Unit Test Case Generation: A Systematic Literature Review
von: Wang, Jason, et al.
Veröffentlicht: (2025)

Acceptance Test Generation with Large Language Models: An Industrial Case Study
von: Ferreira, Margarida, et al.
Veröffentlicht: (2025)

From Requirements to Test Cases: An NLP-Based Approach for High-Performance ECU Test Case Automation
von: Medeshetty, Nikitha, et al.
Veröffentlicht: (2025)

Generalizing Test Cases for Comprehensive Test Scenario Coverage
von: Qi, Binhang, et al.
Veröffentlicht: (2026)

Harnessing Large Language Model for Virtual Reality Exploration Testing: A Case Study
von: Qi, Zhenyu, et al.
Veröffentlicht: (2025)

Test Case Minimization with Quantum Annealers
von: Wang, Xinyi, et al.
Veröffentlicht: (2023)

Dynamic Test Case Prioritization in Industrial Test Result Datasets
von: Torbunova, Alina, et al.
Veröffentlicht: (2024)

Metamorphic Testing for Smart Contract Validation:A Case Study of Ethereum-Based Crowdfunding Contracts
von: Villanueva, Irving Jared, et al.
Veröffentlicht: (2025)

LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
von: Yu, Gerhard, et al.
Veröffentlicht: (2025)

Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study
von: Foster, Michael, et al.
Veröffentlicht: (2025)

Generating High-Level Test Cases from Requirements using LLM: An Industry Study
von: Masuda, Satoshi, et al.
Veröffentlicht: (2025)

Quantum Testing in the Wild: A Case Study with Qiskit Algorithms
von: Ramalho, Neilson Carlos Leite, et al.
Veröffentlicht: (2025)

Test Case Specification Techniques and System Testing Tools in the Automotive Industry: A Review
von: Zyberaj, Denesa, et al.
Veröffentlicht: (2025)

Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
von: Odu, Oluwafemi, et al.
Veröffentlicht: (2024)

Combining Tests and Proofs for Better Software Verification
von: Huang, Li, et al.
Veröffentlicht: (2026)

Issue2Test: Generating Reproducing Test Cases from Issue Reports
von: Nashid, Noor, et al.
Veröffentlicht: (2025)

ATGen: Adversarial Reinforcement Learning for Test Case Generation
von: Li, Qingyao, et al.
Veröffentlicht: (2025)

Test Case Generation for Dialogflow Task-Based Chatbots
von: Rapisarda, Rocco Gianni, et al.
Veröffentlicht: (2025)

Automated Test Case Repair Using Language Models
von: Yaraghi, Ahmadreza Saboor, et al.
Veröffentlicht: (2024)

Quantum Approximate Optimization Algorithm for Test Case Optimization
von: Wang, Xinyi, et al.
Veröffentlicht: (2023)

Enabling Cost-Effective UI Automation Testing with Retrieval-Based LLMs: A Case Study in WeChat
von: Feng, Sidong, et al.
Veröffentlicht: (2024)

Adopting Use Case Descriptions for Requirements Specification: an Industrial Case Study
von: Frattini, Julian, et al.
Veröffentlicht: (2025)

Segment-Based Test Case Prioritization: A Multi-objective Approach
von: Huynh, Hieu, et al.
Veröffentlicht: (2024)

Beyond the Commit: Developer Perspectives on Productivity with AI Coding Assistants
von: Chen, Valerie, et al.
Veröffentlicht: (2026)

Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study
von: Fonseca, Pedro Luís, et al.
Veröffentlicht: (2025)

AI-Assisted Unit Test Writing and Test-Driven Code Refactoring: A Case Study
von: Smolic, Ema, et al.
Veröffentlicht: (2026)