Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases-Reference-Cited by-同舟云学术

Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases

Published:2024-04-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering
language:
Short-container-title:

Author:

Khakzad Shahandashti Kimya¹^ORCID,Sivakumar Mithila¹^ORCID,Mohajer Mohammad Mahdi¹^ORCID,Boaye Belle Alvine¹^ORCID,Wang Song¹^ORCID,Lethbridge Timothy²^ORCID

Affiliation:

1. York University, Toronto, Canada

2. University of Ottawa, Ottawa, Canada

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3650105.3652291

Reference38 articles.

1. Evidence-based decision-making: On the use of systematicity cases to check the compliance of reviews with reporting guidelines such as PRISMA 2020;Belle A. B.;Expert Systems with Applications,2023

2. P. Bishop and R. Bloomfield. 2000. A methodology for safety case development. In Safety and Reliability, Vol. 20. Taylor & Francis, 34--42.

3. M. Chaaben L. Burgueño and H. Sahraoui. 2023. Towards using few-shot prompt learning for automating model completion. In ICSE-NIER. IEEE 7--12.

4. Graphical safety assurance case using Goal Structuring Notation (GSN) — challenges, opportunities and a framework for autonomous trains

5. B. Chen K. Chen S. Hassani Y. Yang D. Amyot L. Lessard G. Mussbacher M. Sabetzadeh and D. Varró. 2023. On the use of GPT-4 for creating goal models: an exploratory study. In REW. IEEE 262--271.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A PRISMA-driven systematic mapping study on system assurance weakeners;Information and Software Technology;2024-11

2. Exploring the Capabilities of Large Language Models for the Generation of Safety Cases: the Case of GPT-4;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24