Heila Botha

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Automated Verification

Reactive Systems

Computation Tree Logic

Top Venues

ACM SIGSOFT Softw. Eng. Notes

IEEE Trans. Software Eng.

Publications

Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser
Towards Model Checking Android Applications. IEEE Trans. Software Eng. 44 (6) (2018)
Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser
Addressing challenges in obtaining high coverage when model checking Android applications. SPIN (2017)
Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk
StateComparator: Detecting Unbounded Variables Using JPF. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)