Verifying Android applications using Java PathFinder by Botha, Heila-Marié

Get full text

Optimised constraint solving for real-world problems by Taljaard, Johannes Hendrik

Get full text

Explaining neural networks used for modeling credit risk by Mohamed, Zhunaid

Get full text

Cellphone banking at the bottom of the pyramid by Kruger, Pieter Jan Harm

Get full text

Symbolic string execution by Redelinghuys, Gideon

Get full text

Investigating the non-termination of affine loops by Durant, Kevin

Get full text

Extended probabilistic symbolic execution by Uwimbabazi, Aline

Get full text

Criteria for the evaluation of private cloud computing by Theron, Piet

Get full text

Analysing ranking algorithms and publication trends on scholarly citation networks by Dunaiski, Marcel Paul

Get full text

Impendulo: A Tool for Analysing Programmer Behaviour by Jordaan, Pieter

Get full text