Buchumschlag

Combining Tests and Proofs for Better Software Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Huang, Li, Meyer, Bertrand, Oriol, Manuel
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Execution-free Program Repair
von: Huang, Li, et al.
Veröffentlicht: (2024)

Software Engineering as a Domain to Formalize
von: Meyer, Bertrand
Veröffentlicht: (2025)

Selene: Pioneering Automated Proof in Software Verification
von: Zhang, Lichen, et al.
Veröffentlicht: (2024)

A formal definition of loop unrolling with applications to test coverage
von: Meyer, Bertrand
Veröffentlicht: (2024)

BUGFIX: towards a common language and framework for the AutomaticProgram Repair community
von: Meyer, Bertrand, et al.
Veröffentlicht: (2024)

Agentic Verification of Software Systems
von: Tu, Haoxin, et al.
Veröffentlicht: (2025)

ReqFusion: A Multi-Provider Framework for Automated PEGS Analysis Across Software Domains
von: Khalid, Muhammad, et al.
Veröffentlicht: (2026)

ProofWright: Towards Agentic Formal Verification of CUDA
von: Chatterjee, Bodhisatwa, et al.
Veröffentlicht: (2025)

The nature of loops in programming
von: Meyer, Bertrand
Veröffentlicht: (2025)

Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
von: Kanchi, Shravya, et al.
Veröffentlicht: (2026)

Is ChatGPT 3 safe for students?
von: Kotovich, Julia, et al.
Veröffentlicht: (2024)

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
von: Yan, Jiwei, et al.
Veröffentlicht: (2024)

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
von: Oldfield, Noah H., et al.
Veröffentlicht: (2024)

From Verification to Herding: Exploiting Software's Sparsity of Influence
von: Menzies, Tim, et al.
Veröffentlicht: (2026)

Insights Towards Better Case Study Reporting in Software Engineering
von: Rico, Sergio
Veröffentlicht: (2024)

Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
von: Kananchuk, Victoria, et al.
Veröffentlicht: (2025)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
von: Liu, Yuwei, et al.
Veröffentlicht: (2026)

Test Smell: A Parasitic Energy Consumer in Software Testing
von: Misu, Md Rakib Hossain, et al.
Veröffentlicht: (2023)

Using Assurance Cases to Guide Verification and Validation of Research Software
von: Smith, W. Spencer, et al.
Veröffentlicht: (2024)

Sustainability is Stratified: Toward a Better Theory of Sustainable Software Engineering
von: McGuire, Sean, et al.
Veröffentlicht: (2023)

Social Proof is in the Pudding: The (Non)-Impact of Social Proof on Software Downloads
von: Shen, Lucas, et al.
Veröffentlicht: (2026)

Using Agile Story Points and Game Theory Together: Better Software Planning and Development in Agile Software Development
von: Bildirici, Fatih, et al.
Veröffentlicht: (2024)

Software Testing in the Quantum World
von: Abreu, Rui, et al.
Veröffentlicht: (2026)

Software Fairness Testing in Practice
von: Santos, Ronnie de Souza, et al.
Veröffentlicht: (2025)

Requirements-Driven Automated Software Testing: A Systematic Review
von: Wang, Fanyu, et al.
Veröffentlicht: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
von: Wang, Weiqi, et al.
Veröffentlicht: (2025)

Testing Is Not Boring: Characterizing Challenge in Software Testing Tasks
von: Hardman, Davi Gama, et al.
Veröffentlicht: (2025)

Software Testing with Large Language Models: Survey, Landscape, and Vision
von: Wang, Junjie, et al.
Veröffentlicht: (2023)

Leveraging Large Vision Language Model For Better Automatic Web GUI Testing
von: Wang, Siyi, et al.
Veröffentlicht: (2024)

Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing
von: Wang, Wenhan, et al.
Veröffentlicht: (2025)

How Fair is Software Fairness Testing?
von: Barcomb, Ann, et al.
Veröffentlicht: (2026)

When Code Becomes Abundant: Redefining Software Engineering Around Orchestration and Verification
von: Kohl, Karina, et al.
Veröffentlicht: (2026)

Framework and Methodology for Verification of a Complex Scientific Simulation Software, Flash-X
von: Dhruv, Akash, et al.
Veröffentlicht: (2023)

A Roadmap for Software Testing in Open Collaborative Development Environments
von: Wang, Qing, et al.
Veröffentlicht: (2024)

ABFS: Natural Robustness Testing for LLM-based NLP Software
von: Xiao, Mingxuan, et al.
Veröffentlicht: (2025)

The Impact of Defect (Re) Prediction on Software Testing
von: Murakami, Yukasa, et al.
Veröffentlicht: (2024)

No Free Lunch: Research Software Testing in Teaching
von: Dorner, Michael, et al.
Veröffentlicht: (2024)

Towards Better Requirements from the Crowd: Developer Engagement with Feature Requests in Open Source Software
von: KC, Pragyan, et al.
Veröffentlicht: (2025)

On the Rationale and Use of Assertion Messages in Test Code: Insights from Software Practitioners
von: Peruma, Anthony, et al.
Veröffentlicht: (2024)

UOOR: Seamless and Traceable Requirements
von: Naumcheva, Maria, et al.
Veröffentlicht: (2025)