Buchumschlag

Selene: Pioneering Automated Proof in Software Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Lichen, Lu, Shuai, Duan, Nan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Automated Proof Generation for Rust Code via Self-Evolution
von: Chen, Tianyu, et al.
Veröffentlicht: (2024)

Lessons from a Pioneering Software Engineering Environment: Design Principles of Software through Pictures
von: I., Anthony, et al.
Veröffentlicht: (2024)

An Empirical Study on the Potential of LLMs in Automated Software Refactoring
von: Liu, Bo, et al.
Veröffentlicht: (2024)

PDLogger: Automated Logging Framework for Practical Software Development
von: Duan, Shengcheng, et al.
Veröffentlicht: (2025)

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

A Viable Paradigm of Software Automation: Iterative End-to-End Automated Software Development
von: Li, Jia, et al.
Veröffentlicht: (2025)

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

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

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

Automated Description Generation for Software Patches
von: Vu, Thanh Trong, et al.
Veröffentlicht: (2024)

Is Your Automated Software Engineer Trustworthy?
von: Mathews, Noble Saji, et al.
Veröffentlicht: (2025)

Automated Quantum Software and AI Engineering
von: Siavash, Nazanin, et al.
Veröffentlicht: (2026)

Automating Execution and Verification of BPMN+DMN Business Processes
von: Della Penna, Giuseppe, et al.
Veröffentlicht: (2025)

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

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

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
von: Ma, Zhi, et al.
Veröffentlicht: (2024)

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
von: Nitin, Vikram, et al.
Veröffentlicht: (2025)

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
von: Di, Nongyu, et al.
Veröffentlicht: (2026)

Automated Generation of Commit Messages in Software Repositories
von: Palakodeti, Varun Kumar, et al.
Veröffentlicht: (2025)

Studying and Automating Issue Resolution for Software Quality
von: Saha, Antu
Veröffentlicht: (2025)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
von: Banerjee, Debangshu, et al.
Veröffentlicht: (2026)

Automating a Complete Software Test Process Using LLMs: An Automotive Case Study
von: Wang, Shuai, et al.
Veröffentlicht: (2025)

ACTesting: Automated Cross-modal Testing Method of Text-to-Image Software
von: Gu, Siqi, et al.
Veröffentlicht: (2023)

Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design
von: Zhang, Yiran, et al.
Veröffentlicht: (2025)

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

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

Assessing the Robustness of LLM-based NLP Software via Automated Testing
von: Xiao, Mingxuan, et al.
Veröffentlicht: (2024)

Identifying Privacy Concerns in Upcoming Software Release: A Peek into the Future
von: Chattopadhyay, Aurek, et al.
Veröffentlicht: (2026)

Logic Mining from Process Logs: Towards Automated Specification and Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

GitHub Marketplace for Automation and Innovation in Software Production
von: Saroar, SK Golam, et al.
Veröffentlicht: (2024)

A Comprehensive Study on Automated Testing with the Software Lifecycle
von: Ali, Hussein Mohammed, et al.
Veröffentlicht: (2024)

Evaluating LLM Agents on Automated Software Analysis Tasks
von: Bouzenia, Islem, et al.
Veröffentlicht: (2026)

How to Define Design in Industrial Control and Automation Software
von: Homay, Aydin
Veröffentlicht: (2025)

CXXCrafter: An LLM-Based Agent for Automated C/C++ Open Source Software Building
von: Yu, Zhengmin, et al.
Veröffentlicht: (2025)

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

From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation
von: Xue, Zhantong, et al.
Veröffentlicht: (2025)

UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification
von: Ye, Junhao, et al.
Veröffentlicht: (2026)

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
von: Sun, Chuyue, et al.
Veröffentlicht: (2025)

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