Automated coverage-driven test data generation using dynamic symbolic execution

Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao

研究成果: 書籍/レポートタイプへの寄稿 › 会議への寄与