no code implementations • 17 Dec 2023 • Moshi Wei, Nima Shiri Harzevili, Alvine Boaye Belle, Junjie Wang, Lin Shi, Jinqiu Yang, Song Wang, Ming Zhen, Jiang
We also investigate the typical data extraction procedures and collection approaches employed by the existing approaches.
no code implementations • 9 Dec 2023 • Mithila Sivakumar, Alvine Boaye Belle, Jinjun Shan, Kimya Khakzad Shahandashti
These experiments are designed to assess its capacity for generating safety cases within a defined system and application domain.
