Automated Software Analysis Group

Test Case Generation via SSA-based Symbolic Execution

  • Author:

    Andreas Fried

  • Place:

    Karlsruhe Institute of Technology, Bachelor Thesis, 2013