TCSE logo 
 Sigsoft logo
Sustainability badge

This program is tentative and subject to change.

Tue 29 Apr 2025 11:15 - 11:30 at 207 - Session 2 Chair(s): Foutse Khomh

Quality Assurance (QA) is important for verifying software compliance with stakeholder requirements. QA faces a fundamental challenge of requirement interpretation ambiguity, which can result in insufficient software verification and failure in achieving the stakeholders’ intended quality. The interpretation challenge intensifies in software development driven by Large Language Models (LLMs), where over-reliance can lead to missed quality-critical alternatives. However, existing works have paid limited attention to stakeholder involvement. We propose an LLM-assisted QA framework extending conventional LLM-driven development to enable stakeholder engagement in software verification. Our framework employs formal methods and rigorous testing to meet diverse quality demands, though this comprehensive verification introduces technical complexity affecting stakeholder engagement and verification costs. Our framework addresses these challenges through two key LLM roles: 1) an explanation assistant for stakeholder understanding, 2) a refinement assistant for incorporating stakeholder feedback while maintaining feasible verification costs. Our initial evaluation empirically demonstrates the framework’s effectiveness through participant assessment scores, showing improved quality risk comprehension and efficient feedback incorporation in the verification process.

This program is tentative and subject to change.

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 2RAIE at 207
Chair(s): Foutse Khomh Polytechnique Montréal
11:00
15m
Talk
Using Drift Planning to Improve Safety of Visual Navigation in Unmanned Aerial Vehicles
RAIE
Jeffrey Hansen Carnegie Mellon Software Engineering Institute, Sebastian Echeverria Carnegie Mellon Software Engineering Institute, Lena Pons Carnegie Mellon Software Engineering Institute, Lihan Zhan Carnegie Mellon Software Engineering Institute, Gabriel A. Moreno Carnegie Mellon University Software Engineering Institute, Grace Lewis Carnegie Mellon Software Engineering Institute
11:15
15m
Talk
LLM-AQuA-DiVeR: LLM-Assisted Quality Assurance Through Dialogues on Verifiable Specification with Requirement Owners
RAIE
Shohei Mitani Georgetown University, Salonee Moona Triple Point Security, Shinichiro Matsuo Georgetown University, Eric Burger Virginia Tech
11:30
12m
Talk
Towards Ensuring Responsible AI for Medical Device Certification
RAIE
Giulio Mallardi University of Bari, Luigi Quaranta University of Bari, Italy, Fabio Calefato University of Bari, Filippo Lanubile University of Bari
11:42
12m
Talk
Navigating the landscape of AI test methods using taxonomy-based selection
RAIE
Maximilian Pintz Fraunhofer Institute for Intelligent Analysis and Information Systems, University of Bonn, Anna Schmitz Fraunhofer Institute for Intelligent Analysis and Information Systems, Rebekka Görge Fraunhofer Institute for Intelligent Analysis and Information Systems, Sebastian Schmidt Fraunhofer Institute for Intelligent Analysis and Information Systems, Daniel Becker , Maram Akila Fraunhofer Institute for Intelligent Analysis and Information Systems, Lamarr Institute, Michael Mock Fraunhofer Institute for Intelligent Analysis and Information Systems
11:54
12m
Talk
Responsible AI in the Software Industry: A Practitioner-Centered Perspective
RAIE
Matheus de Morais Leça University of Calgary, Mariana Pinheiro Bento University of Calgary, Ronnie de Souza Santos University of Calgary
Pre-print
12:06
12m
Talk
The Privacy Pillar - A Conceptual Framework for Foundation Model-based Systems
RAIE
Tingting Bi The University of Melbourne, Guangsheng Yu University of Technology Sydney, Qin Wang CSIRO Data61
:
:
:
: