Heila (van der Merwe) Botha
Heila (van der Merwe) Botha
Computer Science Division, Stellenbosch University, South Africa
Verified email at cs.sun.ac.za
Title
Cited by
Cited by
Year
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
742012
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
412014
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
222014
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
192017
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
72015
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