TCSE logo 
 Sigsoft logo
Sustainability badge
Wed 30 Apr 2025 16:30 - 16:45 at 211 - Requirements Chair(s): Jane Cleland-Huang

Boundary Conditions (BCs) express situations under which requirements specifications conflict. They are used within a broader conflict management process to produce less idealized specifications. Several approaches have been proposed to identify BCs automatically. Some introduce a prioritization criteria to reduce the number of BCs presented to an engineer. However, identifying the few, relevant boundary conditions remains an open challenge. In this paper, we argue that one of the problems of the state of the art is with the definition of BC itself – it is too weak. We propose a stronger definition for the few, relevant BCs, which we refer to as Unavoidable Boundary Conditions (UBCs), which utilizes the notion of realizability in reactive synthesis. We show experimentally that UBCs non-trivially reduce the number of conditions produced by existing BC identification techniques. We also relate UBCs to existing concepts in reactive synthesis used to provide feedback for unrealizable specifications (including counter-strategies and unrealizable cores). We then show that UBCs provide a targeted form of feedback for repairing unrealizable specifications.

Wed 30 Apr

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

16:00 - 17:30
RequirementsResearch Track / Demonstrations / New Ideas and Emerging Results (NIER) at 211
Chair(s): Jane Cleland-Huang University of Notre Dame
16:00
15m
Talk
A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel FuzzingArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Research Track
Sanan Hasanov University of Central Florida, Stefan Nagy University of Utah, Paul Gazzillo University of Central Florida
16:15
15m
Talk
Exploring the Robustness of the Effect of EVO on Intention Valuation through ReplicationArtifact-FunctionalArtifact-AvailableArtifact-ReusableAward Winner
Research Track
Yesugen Baatartogtokh University of Massachusetts Amherst, Kaitlyn Cook Smith College, Alicia M. Grubb Smith College
16:30
15m
Talk
Unavoidable Boundary Conditions: A Control Perspective on Goal Conflicts
Research Track
Sebastian Uchitel Universidad de Buenos Aires / Imperial College, Francisco Cirelli Universidad de Buenos Aires, Dalal Alrajeh Imperial College London
16:45
15m
Talk
User Personas Improve Social Sustainability by Encouraging Software Developers to Deprioritize Antisocial Features
Research Track
Bimpe Ayoola Dalhousie University, Miikka Kuutila Dalhousie University, Rina R. Wehbe Dalhousie University, Paul Ralph Dalhousie University
Pre-print
17:00
15m
Talk
VReqST: A Requirement Specification Tool for Virtual Reality Software ProductsArtifact-FunctionalArtifact-AvailableArtifact-Reusable
Demonstrations
Amogha A Halhalli Software Engineering Research Center. IIIT Hyderabad, Raghu Reddy IIIT Hyderabad, Karre Sai Anirudh Phenom Inc.
17:15
15m
Talk
What is a Feature, Really? Toward a Unified Understanding Across SE Disciplines
New Ideas and Emerging Results (NIER)
Nitish Patkar FHNW, Aimen Fahmi Tata Consultancy Services, Timo Kehrer University of Bern, Norbert Seyff University of Applied Sciences and Arts Northwestern Switzerland FHNW
:
:
:
: