CoDefeater: Using LLMs To Find Defeaters in Assurance Cases

1 code implementation • 18 Jul 2024 • Usman Gohar, Michael C. Hunter, Robyn R. Lutz, Myra B. Cohen

Constructing assurance cases is a widely used, and sometimes required, process toward demonstrating that safety-critical systems will operate safely in their planned environment.

Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations

1 code implementation • 14 Jan 2024 • Usman Gohar, Michael C. Hunter, Agnieszka Marczak-Czajka, Robyn R. Lutz, Myra B. Cohen, Jane Cleland-Huang

Small Unmanned Aircraft Systems (sUAS) have gained widespread adoption across a diverse range of applications.

Decision Making Fairness +1

Genetic Improvement @ ICSE 2020

no code implementations • 31 Jul 2020 • William B. Langdon, Westley Weimer, Justyna Petke, Erik Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang, Michael Gerten

Following Prof. Mark Harman of Facebook's keynote and formal presentations (which are recorded in the proceedings) there was a wide ranging discussion at the eighth international Genetic Improvement workshop, GI-2020 @ ICSE (held as part of the 42nd ACM/IEEE International Conference on Software Engineering on Friday 3rd July 2020).