"Combining Search-Based Testing and Dynamic Symbolic Execution by ..."

Ziming Zhu, Li Jiao, Xiong Xu (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics