StateComparator: Detecting Unbounded Variables Using JPF. - Heila Botha; Brink van der Merwe; Willem Visser; Oksana Tkachuk (ACM SIGSOFT Softw. Eng. Notes, 2016)

Addressing challenges in obtaining high coverage when model checking Android applications. - Heila Botha; Oksana Tkachuk; Brink van der Merwe; Willem Visser (SPIN, 2017)

Towards Model Checking Android Applications. - Guangdong Bai; Quanqi Ye; Yongzheng Wu; Heila Botha; Jun Sun 001; Yang Liu 003; Jin Song Dong; Willem Visser (IEEE Trans. Software Eng., 2018)