Heila (van der Merwe) Botha
Bitbucket
LinkedIn
CV
PhD Computer Science (soon to be graduate). Excited about web, mobile and open source technologies.
Stellenbosch University, South Africa
BSc Computer Science (Cum Laude). Dec 2010.
BSc (Honours) Computer Science (Cum Laude). Mar 2012.
PhD Computer Science. Submitted. Graduation Dec 2017.
Verifying Android applications using Java PathFinder. Nov. 2012.
Property and Execution specifications for JPF-Android. Nov. 2013.
Generation of library models for verification of android applications. 2014.
Verifying Android Applications. May 2015.
Environment Modeling Using Runtime Values for JPF-Android. Nov. 2015.
StateComparator: Detecting Unbounded Variables Using JPF. Jan. 2017.
Towards Model Checking Android Applications. 2017.
Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications. Jul. 2017.
heilamvdm-at-gmail-dot-com
Department of Computer Science,
Stellenbosch University,
Stellenbosch, South Africa.