Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric

Ziming Zhu, Li Jiao, Xiong Xu. Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric. In 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018, Madrid, Spain, September 23-29, 2018. pages 59-68, IEEE Computer Society, 2018. [doi]

Abstract

Abstract is missing.