Kimya Khakzad Shahandashti

According to our database, Kimya Khakzad Shahandashti authored at least 11 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A PRISMA-driven systematic mapping study on system assurance weakeners.

Kimya Khakzad Shahandashti, Alvine Boaye Belle, Timothy C. Lethbridge, Oluwafemi Odu, Mithila Sivakumar

Inf. Softw. Technol., 2024

Prompting GPT -4 to support automatic safety case generation.

Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Kimya Khakzad Shahandashti

Expert Syst. Appl., 2024

Program Slicing in the Era of Large Language Models.

Kimya Khakzad Shahandashti, Mohammad Mahdi Mohajer, Alvine Boaye Belle, Song Wang, Hadi Hemmati

CoRR, 2024

A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns.

Oluwafemi Odu, Alvine Boaye Belle, Song Wang, Kimya Khakzad Shahandashti

CoRR, 2024

Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases.

Kimya Khakzad Shahandashti, Mithila Sivakumar, Mohammad Mahdi Mohajer, Alvine Boaye Belle, Song Wang, Timothy C. Lethbridge

CoRR, 2024

I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems.

Mithila Sivakumar, Alvine Boaye Belle, Kimya Khakzad Shahandashti, Oluwafemi Odu, Hadi Hemmati, Segla Kpodjedo, Song Wang, Opeyemi O. Adesina

CoRR, 2024

Exploring the Capabilities of Large Language Models for the Generation of Safety Cases: the Case of GPT-4.

Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Kimya Khakzad Shahandashti

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Using GPT-4 Turbo to Automatically Identify Defeaters in Assurance Cases.

Kimya Khakzad Shahandashti, Alvine Boaye Belle, Mohammad Mahdi Mohajer, Oluwafemi Odu, Timothy C. Lethbridge, Hadi Hemmati, Song Wang

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

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

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

Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, 2024

2023

GPT-4 and Safety Case Generation: An Exploratory Analysis.

Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Kimya Khakzad Shahandashti

CoRR, 2023

The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis.

Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Opeyemi Adesina, Song Wang, Marsha Chechik, Marios Fokaefs, Kimya Khakzad Shahandashti, Oluwafemi Odu

CoRR, 2023