Statistics
Publications
3
Citations
84
H-Index
3
Active since
2016
Affiliations
Imperial College London(Current)
Daniel Liew is an author at Imperial College London specializing in automated reasoning, formal verification, and software engineering.
Publications per year
2016–2019
3
3
Floating-point symbolic execution: A case study in N-version programming
Daniel Liew, Daniel Schemmel, Cristian Cadar et al. · 2017 · 39 citations
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing
Daniel Liew, Cristian Cadar, Alastair F. Donaldson et al. · 2019 · 32 citations
1–3 of 3