4 citations · 5 across the 5 of their papers we have counts for
5 papers
CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
Usman Gohar, Michael C. Hunter, Robyn R. Lutz +1
Constructing assurance cases is a widely used, and sometimes required, process toward demonstrating that safety-critical systems will operate safely in their planned environment. T…
Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations
Usman Gohar, Michael C. Hunter, Agnieszka Marczak-Czajka +3
Small Unmanned Aircraft Systems (sUAS) have gained widespread adoption across a diverse range of applications. This has introduced operational complexities within shared airspaces…
Generating Maximal Configurations and Their Variants Using Code Metrics
Tuba Yavuz, Chin Khor, Ken +2
Testing configurable systems continues to be challenging and costly. Generation of configurations for testing tends to use either techniques based on semantic sampling (e.g., logic…
Requirements Analysis of Variability Constraints in a Configurable Flight Software System
Chin Khor, Robyn Lutz
Variability constraints are an integral part of the requirements for a configurable system. The constraints specified in the requirements on the legal combinations of options defin…
The Untold Impact of Learning Approaches on Software Fault-Proneness Predictions
Mohammad Jamil Ahmad, Katerina Goseva-Popstojanova, Robyn R. Lutz
Software fault-proneness prediction is an active research area, with many factors affecting prediction performance extensively studied. However, the impact of the learning approach…