Now showing items 1-2 of 2
Investigating the non-termination of affine loops
(Stellenbosch : Stellenbosch University, 2013-03)
ENGLISH ABSTRACT: The search for non-terminating paths within a program is a crucial part of software verification, as the detection of anfinite path is often the only manner of falsifying program termination - the failure ...
Bug-finding and test case generation for java programs by symbolic execution
(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 ...