Publisher
Springer Nature Singapore
Reference4 articles.
1. S. Liu. Utilizing Hoare Logic to Strengthen Testing for Error Detection in Programs. In Proceedings of The Turing Centenary Conference, pages 229–238, Manchester, UK, June 2012. EPiC Series.
2. S. Liu. Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification. In Proceedings of 10th International Conference on Tests and Proofs (TAP 2016), pages 112–129. LNCS 9762, Springer, July 2016.
3. R. Wang, S. Liu, and Y. Sato. SIT-SE: A Specification-based Incremental Testing with Symbolic Execution. IEEE Transactions on Reliability, 70(3):1053–1070, September 2021.
4. A. Liu and S. Liu. Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages. IEEE Transactions on Software Engineering, 49(1):304–324, January 2023.