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

Edmund Wong, Lei Zhang, Song Wang, Taiyue Liu, Lin Tan

Browse the full ICSE paper archive.