Gen Li, Kai Lu, Ying Zhang, Xicheng Lu, Wei Zhang. Mixing Concrete and Symbolic Execution to Improve the Performance of Dynamic Test Generation. In Khaldoun Al Agha, Mohamad Badra, Gregory B. Newby, editors, NTMS 2009, 3rd International Conference on New Technologies, Mobility and Security, 20-23 December 2009, Cairo, Egypt. pages 1-5, IEEE, 2009. [doi]
Abstract is missing.