Towards Automated Bounded Model Checking of API Implementations. - Daniel Neville; Andrew J. Malton; Martin Brain; Daniel Kroening (CSTVA@ISSTA, 2016)

Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE. - John Galea; Sean Heelan; Daniel Neville; Daniel Kroening (CoRR, 2018)