Daniel Liew

Frontmatter, Table of Contents, Preface, Conference Organization, Supporters and Sponsors

Claudia Schulz, Daniel Liew, 2015, ICCSW.

Symbolic execution of verification languages and floating-point code

Daniel Liew, 2017 .

Floating-point symbolic execution: A case study in N-version programming

Klaus Wehrle, Daniel Schemmel, Alastair F. Donaldson, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Just fuzz it: solving floating-point constraints using coverage-guided fuzzing

Alastair F. Donaldson, Cristian Cadar, Daniel Liew, 2019, ESEC/SIGSOFT FSE.

Symbooglix: A Symbolic Execution Engine for Boogie Programs

Alastair F. Donaldson, Cristian Cadar, Daniel Liew, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Engineering a Static Verification Tool for GPU Kernels

Adam Betts, Ethel Bardsley, Alastair F. Donaldson, 2014, CAV.