Heila (van der Merwe) Botha
Heila (van der Merwe) Botha
Computer Science Division, Stellenbosch University, South Africa
Verified email at cs.sun.ac.za
TitleCited byYear
Verifying android applications using Java PathFinder
H van der Merwe, B van der Merwe, W Visser
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
662012
Execution and property specifications for jpf-android
H van der Merwe, B van der Merwe, W Visser
ACM SIGSOFT Software Engineering Notes 39 (1), 1-5, 2014
372014
Generation of Library Models for Verification of Android Applications
H van der Merwe, O Tkachuk, B van der Merwe, W Visser
Java PathFinder Workshop 2014, 2014
202014
Towards model checking android applications
G Bai, Q Ye, Y Wu, H Botha, J Sun, Y Liu, JS Dong, W Visser
IEEE Transactions on Software Engineering 44 (6), 595-612, 2017
152017
Environment modeling using runtime values for JPF-Android
H van der Merwe, O Tkachuk, S Nel, B van der Merwe, W Visser
ACM SIGSOFT Software Engineering Notes 40 (6), 1-5, 2015
52015
Verification of android applications
H van der Merwe
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
52015
Addressing challenges in obtaining high coverage when model checking Android applications
H Botha, O Tkachuk, B Merwe, W Visser
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
22017
StateComparator: Detecting Unbounded Variables Using JPF
H Botha, B van der Merwe, W Visser, O Tkachuk
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
12017
Verifying Android Applications Using Java PathFinder
HM Botha
Stellenbosch: Stellenbosch University, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–9