Extended probabilistic symbolic execution - Uwimbabazi, Aline (Stellenbosch : Stellenbosch University, 2013)
Thesis (MSc)--Stellenbosch University, 2013.