Mixing Concrete and Symbolic Execution to Improve the Performance of Dynamic Test Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Gen Li' in GoogleThis author has not been identified. Look up 'Kai Lu' in GoogleThis author has not been identified. Look up 'Ying Zhang' in GoogleThis author has not been identified. Look up 'Xicheng Lu' in GoogleThis author has not been identified. Look up 'Wei Zhang' in Google

runs on WebDSL