Copertina

Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Iman, Mohammad Reza Heidari, Di Natale, Giorgio, Morin-Allory, Katell
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fine-Grained Assertion-Based Test Selection
di: Gu, Sijia, et al.
Pubblicazione: (2024)

Towards Automatic Translation of Machine Learning Visual Insights to Analytical Assertions
di: Shome, Arumoy, et al.
Pubblicazione: (2024)

AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation
di: Pulavarthi, Vaishnavi, et al.
Pubblicazione: (2024)

Understanding and Characterizing Mock Assertions in Unit Tests
di: Zhu, Hengcheng, et al.
Pubblicazione: (2025)

A Time Series Analysis of Assertions in the Linux Kernel
di: Ruohonen, Jukka
Pubblicazione: (2024)

Assertion Messages with Large Language Models (LLMs) for Code
di: Aljohani, Ahmed, et al.
Pubblicazione: (2025)

Bloch Vector Assertions for Debugging Quantum Programs
di: Oldfield, Noah H., et al.
Pubblicazione: (2025)

Improving Retrieval-Augmented Deep Assertion Generation via Joint Training
di: Zhang, Quanjun, et al.
Pubblicazione: (2025)

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

A Regression Testing Framework with Automated Assertion Generation for Machine Learning Notebooks
di: Yao, Yingao Elaine, et al.
Pubblicazione: (2025)

SPADE: Synthesizing Data Quality Assertions for Large Language Model Pipelines
di: Shankar, Shreya, et al.
Pubblicazione: (2024)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
di: Sharmin, Shaila, et al.
Pubblicazione: (2025)

Assertion-Aware Test Code Summarization with Large Language Models
di: Mollah, Anamul Haque, et al.
Pubblicazione: (2025)

ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation
di: Mali, Bhabesh, et al.
Pubblicazione: (2024)

Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
di: Ghazal, Zaid, et al.
Pubblicazione: (2026)

AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model
di: Primbs, Severin, et al.
Pubblicazione: (2025)

AutoAssert 1: A LoRA Fine-Tuned LLM Model for Efficient Automated Assertion Generation
di: Zhong, Yi, et al.
Pubblicazione: (2025)

Improving Deep Assertion Generation via Fine-Tuning Retrieval-Augmented Pre-trained Language Models
di: Zhang, Quanjun, et al.
Pubblicazione: (2025)

Learning to Debug: LLM-Organized Knowledge Trees for Solving RTL Assertion Failures
di: Bai, Yunsheng, et al.
Pubblicazione: (2025)

Studying the Impact of Early Test Termination Due to Assertion Failure on Code Coverage and Spectrum-based Fault Localization
di: Uddin, Md. Ashraf, et al.
Pubblicazione: (2025)

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction
di: Tian, Enyuan, et al.
Pubblicazione: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
di: Yu, Hao, et al.
Pubblicazione: (2025)

ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code
di: Torkamani, Mohammad Jalili, et al.
Pubblicazione: (2024)

ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation
di: Lim, Soohan, et al.
Pubblicazione: (2025)

Evaluation of LLM-Based Software Engineering Tools: Practices, Challenges, and Future Directions
di: Torun, Utku Boran, et al.
Pubblicazione: (2026)

Mining Issue Trackers: Concepts and Techniques
di: Montgomery, Lloyd, et al.
Pubblicazione: (2024)

A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction
di: Birchler, Christian, et al.
Pubblicazione: (2024)

Language Models for Code Optimization: Survey, Challenges and Future Directions
di: Gong, Jingzhi, et al.
Pubblicazione: (2025)

Human-In-The-Loop Software Development Agents: Challenges and Future Directions
di: Pasuksmit, Jirat, et al.
Pubblicazione: (2025)

Logic Mining from Process Logs: Towards Automated Specification and Verification
di: Klimek, Radoslaw, et al.
Pubblicazione: (2025)

Data Mining-Based Techniques for Software Fault Localization
di: Cellier, Peggy, et al.
Pubblicazione: (2025)

Quality Attributes Optimization of Software Architecture: Research Challenges and Directions
di: Di Pompeo, Daniele, et al.
Pubblicazione: (2023)

Making Software Development More Diverse and Inclusive: Key Themes, Challenges, and Future Directions
di: Hyrynsalmi, Sonja M., et al.
Pubblicazione: (2024)

Challenges of Virtual Validation and Verification for Automotive Functions
di: Cabrero-Daniel, Beatriz, et al.
Pubblicazione: (2025)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
di: Faria, João Pascoal, et al.
Pubblicazione: (2026)

Teaching Mining Software Repositories
di: Codabux, Zadia, et al.
Pubblicazione: (2025)

Challenges of Requirements Communication and Digital Assets Verification in Infrastructure Projects
di: Abdeen, Waleed, et al.
Pubblicazione: (2025)

A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
di: Gao, Cuiyun, et al.
Pubblicazione: (2025)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
di: Dantas, Pierre, et al.
Pubblicazione: (2026)

A Tertiary Review of Large Language Model-Based Code Generating Tasks: Trends, Challenges, and Future Directions
di: Chochlov, Muslim, et al.
Pubblicazione: (2026)