Shaoying Liu. Testing-Based Formal Verification for Software Dependability. In 12th International Conference on Dependable Systems and Their Applications, DSA 2025, Sharjah, United Arab Emirates, November 24-26, 2025. IEEE, 2025. [doi]
Abstract is missing.