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 | 106 | 2012 |
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 | 51 | 2014 |
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 | 43 | 2017 |
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 | 23 | 2014 |
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 | 8 | 2015 |
Verification of Android applications H Van Der Merwe 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 6 | 2015 |
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 | 2 | 2017 |
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 | 1 | 2017 |
Verifying Android Applications Using Java PathFinder HM Botha Stellenbosch: Stellenbosch University, 2017 | | 2017 |