Cover Image

Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brugger, Lea Salome, Denis, Xavier, Müller, Peter
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

Scalable Deductive Verification of Data-Level Parallel Programs
by: Haak, Lars B. van den, et al.
Published: (2026)

Insights from Publishing Open Data in Industry-Academia Collaboration
by: Strandberg, Per Erik, et al.
Published: (2025)

Be a Partner, not a Bystander in Software Engineering Practice: Bridging the Gaps between Academia and Industry
by: Rahman, Mohammad Masudur, et al.
Published: (2026)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
by: Amilon, Jesper, et al.
Published: (2025)

RE-oriented Model Development with LLM Support and Deduction-based Verification
by: Klimek, Radoslaw
Published: (2025)

Preliminary Insights on Industry Practices for Addressing Fairness Debt
by: Santos, Ronnie de Souza, et al.
Published: (2024)

The Presence and the State-of-Practice of Software Architects in the Brazilian Industry -- A Survey
by: Neto, Valdemar Vicente Graciano, et al.
Published: (2024)

Experiences Applying Lean R&D in Industry-Academia Collaboration Projects
by: Kalinowski, Marcos, et al.
Published: (2025)

From Inductive to Deductive: LLMs-Based Qualitative Data Analysis in Requirements Engineering
by: Shah, Syed Tauhid Ullah, et al.
Published: (2025)

Beyond the Classroom: Bridging the Gap Between Academia and Industry with a Hands-on Learning Approach
by: Xu, Mingyang, et al.
Published: (2025)

Crash-free Deductive Verifiers
by: Nauta, Wander, et al.
Published: (2026)

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

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

Insights on Microservice Architecture Through the Eyes of Industry Practitioners
by: Nogueira, Vinicius L., et al.
Published: (2024)

Towards an Architectural Perspective for Sustainability: Bundle the Needs from Industry
by: Funke, Markus, et al.
Published: (2025)

MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
by: Xu, Congying, et al.
Published: (2024)

Monitoring Continuous Integration Practices in Industry: A Case Study
by: Santos, Jadson, et al.
Published: (2025)

A Survey on Web Testing: On the Rise of AI and Applications in Industry
by: Kertusha, Iva, et al.
Published: (2025)

Agile Minds, Innovative Solutions, and Industry-Academia Collaboration: Lean R&D Meets Problem-Based Learning in Software Engineering Education
by: Romao, Lucas, et al.
Published: (2024)

Qualitative Data Analysis in Software Engineering: Techniques and Teaching Insights
by: Treude, Christoph
Published: (2024)

Bridging the Gap: A Study of AI-based Vulnerability Management between Industry and Academia
by: Wan, Shengye, et al.
Published: (2024)

The Future of Generative AI in Software Engineering: A Vision from Industry and Academia in the European GENIUS Project
by: Gröpler, Robin, et al.
Published: (2025)

Understanding the Role of Large Language Models in Software Engineering: Evidence from an Industry Survey
by: de Brito, Vítor Mateus, et al.
Published: (2025)

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

From Prompting to Verification: How Experience Shapes Vibe Coding Practices
by: Fawzy, Ahmed, et al.
Published: (2026)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
by: Kräuter, Tim, et al.
Published: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
by: Chatterjee, Bodhisatwa, et al.
Published: (2025)

Security Debt in Practice: Nuanced Insights from Practitioners
by: Boufaied, Chaima, et al.
Published: (2025)

Exploring the Experiences of Experts: Sustainability in Agile Software Development -- Insights from the Finnish Software Industry
by: Shamshiri, Hatef, et al.
Published: (2024)

From Literature to Practice: Exploring Fairness Testing Tools for the Software Industry Adoption
by: Nguyen, Thanh, et al.
Published: (2024)

TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
by: Gao, Hui, et al.
Published: (2023)

From Research to Practice: An Interactive Rapid Review of Autonomous Driving System Testing in Industry
by: Song, Qunying, et al.
Published: (2026)

Modern Code Reviews -- Survey of Literature and Practice
by: Badampudi, Deepika, et al.
Published: (2024)

Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper
by: Ramadan, Qusai, et al.
Published: (2025)

Challenges and Practices in Quantum Software Testing and Debugging: Insights from Practitioners
by: Zappin, Jake, et al.
Published: (2025)

Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction
by: Liu, Chenyan, et al.
Published: (2026)

Insights from the Field: Exploring Students' Perspectives on Bad Unit Testing Practices
by: Peruma, Anthony, et al.
Published: (2024)

Opportunities and Limitations of GenAI in RE: Viewpoints from Practice
by: Hess, Anne, et al.
Published: (2026)

Towards regulatory compliant lifecycle for AI-based medical devices in EU: Industry perspectives
by: Granlund, Tuomas, et al.
Published: (2024)