Test-case generation and bug-finding through symbolic execution. - Willem Bester; Cornelia P. Inggs; Willem Visser (SAICSIT, 2012)

DSaaS - A Cloud Service for Persistent Data Structures. - Pierre Bernard le Roux; Steve Kroon; Willem Bester (CLOSER (1), 2016)

Formalising Boost POSIX Regular Expression Matching. - Martin Berglund; Willem Bester; Brink van der Merwe (ICTAC, 2018)

Formalising and implementing Boost POSIX regular expression matching. - Martin Berglund; Willem Bester; Brink van der Merwe (Theor. Comput. Sci., 2021)

Benchmarking Regular Expression Matching. - Alexander Roodt; Brendan Keith Mark Watling; Willem Bester; Brink van der Merwe; Sicheol Sung; Yo-Sub Han (CIAA, 2024)