Folgen
Heila (van der Merwe) Botha
Heila (van der Merwe) Botha
Computer Science Division, Stellenbosch University, South Africa
Bestätigte E-Mail-Adresse bei cs.sun.ac.za
Titel
Zitiert von
Zitiert von
Jahr
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
1022012
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
512014
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
392017
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
232014
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
82015
Verification of Android applications
H Van Der Merwe
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
62015
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9