Jiang Zheng

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
  • Pongsin Poosankam, Dawn Song, Frank Berkeley, André Pfenning, David Platzer, Stephen Brumley +36 others
  • 2013
Concolic execution is a technique for program analysis that makes the values of certain inputs symbolic, symbolically executes a program's code, and computes a symbolic logical formula to represent a desired behavior of the program under analysis. The computed formula is then solved by a decision procedure to determine whether the desired behavior is(More)
  • 1