Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages

ai Liu, Shaoying Liu. Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages. IEEE Trans. Software Eng., 49(1):304-324, 2023. [doi]

Abstract

Abstract is missing.