Copertina

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Menezes, Rafael Sá, Manino, Edoardo, Shmarov, Fedor, Aldughaim, Mohannad, de Freitas, Rosiane, Cordeiro, Lucas C.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Floating-Point Neural Network Verification at the Software Level
di: Manino, Edoardo, et al.
Pubblicazione: (2025)

FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
di: Alshmrany, Kaled M., et al.
Pubblicazione: (2022)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
di: Wu, Tong, et al.
Pubblicazione: (2024)

Automated Repair of AI Code with Large Language Models and Formal Verification
di: Charalambous, Yiannis, et al.
Pubblicazione: (2024)

DepsRAG: Towards Agentic Reasoning and Planning for Software Dependency Management
di: Alhanahnah, Mohannad, et al.
Pubblicazione: (2024)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
di: Wang, Weiqi, et al.
Pubblicazione: (2025)

SoK: Software Debloating Landscape and Future Directions
di: Alhanahnah, Mohannad, et al.
Pubblicazione: (2024)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
di: Zhu, Taohong, et al.
Pubblicazione: (2025)

ESBMC-Python: A Bounded Model Checker for Python Programs
di: Farias, Bruno, et al.
Pubblicazione: (2024)

Post-Pandemic Hybrid Work in Software Companies: Findings from an Industrial Case Study
di: Santos, Ronnie de Souza, et al.
Pubblicazione: (2024)

EVOSCAT: Exploring Software Change Dynamics in Large-Scale Historical Datasets
di: Serbout, Souhaila, et al.
Pubblicazione: (2025)

Scalable and Efficient Large-Scale Log Analysis with LLMs: An IT Software Support Case Study
di: Gupta, Pranjal, 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)

Adopting Use Case Descriptions for Requirements Specification: an Industrial Case Study
di: Frattini, Julian, et al.
Pubblicazione: (2025)

The Technical Debt Gamble: A Case Study on Technical Debt in a Large-Scale Industrial Microservice Architecture
di: Borowa, Klara, et al.
Pubblicazione: (2025)

Action Research with Industrial Software Engineering -- An Educational Perspective
di: Dittrich, Yvonne, et al.
Pubblicazione: (2024)

How to Define Design in Industrial Control and Automation Software
di: Homay, Aydin
Pubblicazione: (2025)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
di: Pirzada, Muhammad A. A., et al.
Pubblicazione: (2026)

Investigating Code Reuse in Software Redesign: A Case Study
di: Zhang, Xiaowen, et al.
Pubblicazione: (2026)

Insights Towards Better Case Study Reporting in Software Engineering
di: Rico, Sergio
Pubblicazione: (2024)

Requirements Volatility in Software Architecture Design: An Exploratory Case Study
di: Aaramaa, Sanja, et al.
Pubblicazione: (2026)

Acceptance Test Generation with Large Language Models: An Industrial Case Study
di: Ferreira, Margarida, et al.
Pubblicazione: (2025)

Aligning Academia with Industry: An Empirical Study of Industrial Needs and Academic Capabilities in AI-Driven Software Engineering
di: Yu, Hang, et al.
Pubblicazione: (2025)

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

Industrial Code Quality Benchmarks: Toward Gamification of Software Maintainability
di: Borg, Markus, et al.
Pubblicazione: (2024)

Learning From Software Failures: A Case Study at a National Space Research Center
di: Anandayuvaraj, Dharun, et al.
Pubblicazione: (2025)

LLMs Are Not a Silver Bullet: A Case Study on Software Fairness
di: Li, Xinyue, et al.
Pubblicazione: (2026)

Individual Differences Limit Predicting Well-being and Productivity Using Software Repositories: A Longitudinal Industrial Study
di: Kuutila, Miikka, et al.
Pubblicazione: (2021)

Automated Security Findings Management: A Case Study in Industrial DevOps
di: Voggenreiter, Markus, et al.
Pubblicazione: (2024)

Towards Measuring the Impact of Technical Debt on Lead Time: An Industrial Case Study
di: Paudel, Bhuwan, et al.
Pubblicazione: (2024)

Improving the Reproducibility of Deep Learning Software: An Initial Investigation through a Case Study Analysis
di: Ravi, Nikita, et al.
Pubblicazione: (2025)

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
di: Baksys, Mantas, et al.
Pubblicazione: (2025)

The Social Psychology of Software Security (Psycurity)
di: Gren, Lucas, et al.
Pubblicazione: (2024)

Prototypical Leadership in Agile Software Development
di: Dawood, Jina, et al.
Pubblicazione: (2024)

Recommendations for Efficient and Responsible LLM Adoption within Industrial Software Development
di: Ronanki, Krishna, et al.
Pubblicazione: (2026)

An Exploratory Mixed-Methods Study on General Data Protection Regulation (GDPR) Compliance in Open-Source Software
di: Franke, Lucas, et al.
Pubblicazione: (2024)

Formally Verified Binary-level Pointer Analysis
di: Verbeek, Freek, et al.
Pubblicazione: (2025)

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
di: Ron, Javier, et al.
Pubblicazione: (2026)

Training Software Engineering Agents and Verifiers with SWE-Gym
di: Pan, Jiayi, et al.
Pubblicazione: (2024)

DiVerify: Hardening Identity-Based Software Signing with Diverse-Context Scopes
di: Okafor, Chinenye, et al.
Pubblicazione: (2024)