Chapter Six

Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis

Corina S. Păsăreanu*; Rody Kersten; Kasper Luckow; Quoc-Sang Phan§    * NASA Ames and Carnegie Mellon University, Mountain View, CA, United States Synopsys, Inc., San Francisco, CA, United States Amazon Web Services, San Francisco, CA, United States§ Fujitsu Laboratories of America, Sunnyvale, CA, United States


Symbolic execution is a systematic program analysis technique which executes programs on symbolic inputs, representing multiple concrete inputs, and represents the program behavior using mathematical constraints over the symbolic inputs. Solving the constraints with off-the-shelf solvers yields inputs that ...

Get Advances in Computers now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.