• Bug-finding and test case generation for java programs by symbolic execution 

      Bester, Willem Hendrik Karel (Stellenbosch : Stellenbosch University, 2013-12)
      ENGLISH ABSTRACT: In this dissertation we present a software tool, Artemis, that symbolically executes Java virtual machine bytecode to find bugs and automatically generate test cases to trigger the bugs found. Symbolic ...