DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing

Edmund Wong, Lei Zhang, Song Wang, Taiyue Liu, Lin Tan. DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing. In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1. pages 620-631, IEEE, 2015. [doi]

Authors

Edmund Wong

This author has not been identified. Look up 'Edmund Wong' in Google

Lei Zhang

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

Song Wang

This author has not been identified. It may be one of the following persons: Look up 'Song Wang' in Google

Taiyue Liu

This author has not been identified. Look up 'Taiyue Liu' in Google

Lin Tan

This author has not been identified. Look up 'Lin Tan' in Google