Heila Botha

According to our database, Heila Botha authored at least 3 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Towards Model Checking Android Applications.

Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser

IEEE Trans. Software Eng., 2018

2017

Addressing challenges in obtaining high coverage when model checking Android applications.

Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

StateComparator: Detecting Unbounded Variables Using JPF.

Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk

ACM SIGSOFT Softw. Eng. Notes, 2016