Unit Test Data Generation for C Using Rule-Directed Symbolic Execution
Crossref DOI link: https://doi.org/10.1007/s11390-019-1935-7
Published Online: 2019-05-10
Published Print: 2019-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhang, Ming-Zhe
Gong, Yun-Zhan
Wang, Ya-Wen
Jin, Da-Hai
Text and Data Mining valid from 2019-05-01
Article History
Received: 6 July 2018
Revised: 19 March 2019
First Online: 10 May 2019