Test Case Generation via SSA-based Symbolic Execution

  • Author:

    Andreas Fried
  • Place:

    Karlsruhe Institute of Technology, Bachelor Thesis, 2013