D
Daiqian Zhan
Researcher at University of Texas at Austin
Publications - 1
Citations - 61
Daiqian Zhan is an academic researcher from University of Texas at Austin. The author has contributed to research in topics: Reference type & String (computer science). The author has an hindex of 1, co-authored 1 publications receiving 59 citations.
Papers
More filters
Proceedings ArticleDOI
Abstracting Symbolic Execution with String Analysis
TL;DR: The ability to symbolically execute a commonly used library class, specifically a string, at an abstract level is demonstrated by abstracting away the implementation details of strings using finite-state automata, which can scale to more complex programs.