An Empirical Study on Modeling Testing Requirements for Safety-Critical Software

Wenyao Xue, Qingwei Ren, Yichen Wang. An Empirical Study on Modeling Testing Requirements for Safety-Critical Software. In 24th IEEE International Conference on Software Quality, Reliability, and Security, QRS - Companion, Cambridge, United Kingdom, July 1-5, 2024. pages 125-134, IEEE, 2024. [doi]

Abstract

Abstract is missing.