REFSQ 2025
Mon 7 - Thu 10 April 2025 Spain
Tue 8 Apr 2025 10:15 - 10:18 at C2 - Sala Actes - Posters & tools pitches

Context and motivation. In today’s fast-paced software development, stakeholders expect frequent deployments that incorporate the newest requirements and needed adaptations. Such fast pace poses significant pressure on site reliability engineers (SRE), who ensure software quality while managing transitions through stages (testing, development, or production stages). Problem. The primary challenge SRE face is the amount of ubiquitous data ranging from requirements to test results (often) interconnected from the different software development phases (requirements elicitation, development, testing, and deployment) that requires effective analysis to inform staging decisions. Solution. This challenge has motivated us to establish the AI-SQUARE innovation project; in which we envision the creation of an intelligent end-to-end software staging support platform for decision making and feedback. We propose to leverage the use of knowledge graphs for analyising requirements from varios data sources and faciliate quality analysis from agreggated data. Results and conclusions. In this poster & tool paper, we share our progress on designing the knowledge graph that supports the AI-SQUARE platform, enhancing intelligent agents and supporting site reliability engineers during software staging. We share our vision and open challenges in implementing and evaluating our knowledge graph.

pre-print (pre-print.pdf)1.94MiB

Tue 8 Apr

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

10:15 - 10:30
Posters & tools pitchesPosters & Tools at C2 - Sala Actes

In this session, the authors of accepted posters and tools will pitch their work. Stay tuned!

10:15
3m
Talk
AI-SQUARE: Knowledge Graphs for Requirements-driven Software Staging Management
Posters & Tools
David Mosquera Zurich University of Applied Sciences, Marcela Ruiz Zurich University of Applied Sciences, Olivier Mann Swiss Digital Network, Markam Hanin Swiss Digital Network
File Attached
10:18
3m
Talk
Hanfor: requirements formalisation as if done by humans
Posters & Tools
Nico Hauff University Freiburg, Elisabeth Henkel Albert-Ludwigs-Universitaet Freiburg, Tobias Kolzer Albert-Ludwigs-Universitaet Freiburg, Vincent Langenfeld University of Freiburg, Andreas Podelski University of Freiburg
10:22
3m
Talk
RE-Miner 2.0: A Holistic Framework for Mining Mobile Application Reviews
Posters & Tools
Max Tiessler Universitat Politècnica de Catalunya, Quim Motger Universitat Politècnica de Catalunya
File Attached
10:26
3m
Talk
Requirements Elicitation for Prototype-driven AI Engineering: a Case Study in Police Report Generation
Posters & Tools
Martijn van Vliet Utrecht University, Wouter Westerkamp Utrecht University, Sjaak Brinkkemper Utrecht University, Sergio España Utrecht University, and Universitat Politècnica de València