State of the art: Dynamic symbolic execution for automated test generation

Ting Chen, Xiaosong Zhang, Shi-ze Guo, Hong-yuan Li, Yue Wu. State of the art: Dynamic symbolic execution for automated test generation. Future Generation Comp. Syst., 29(7):1758-1773, 2013. [doi]

Authors

Ting Chen

This author has not been identified. Look up 'Ting Chen' in Google

Xiaosong Zhang

This author has not been identified. Look up 'Xiaosong Zhang' in Google

Shi-ze Guo

This author has not been identified. Look up 'Shi-ze Guo' in Google

Hong-yuan Li

This author has not been identified. Look up 'Hong-yuan Li' in Google

Yue Wu

This author has not been identified. Look up 'Yue Wu' in Google