Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu. Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. In Shaoying Liu, Zhenhua Duan, ai Liu, editors, Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. Volume 13854 of Lecture Notes in Computer Science, pages 106-116, Springer, 2022. [doi]
Abstract is missing.