Improving Symbolic Automata Learning with Concolic Execution. - Donato Clun; Phillip van Heerden; Antonio Filieri; Willem Visser (FASE, 2020)

Grammar-based testing for little languages: an experience report with student compilers. - Phillip van Heerden; Moeketsi Raselimo; Konstantinos Sagonas; Bernd Fischer 002 (SLE, 2020)