Seguir
Daniel Liew
Daniel Liew
Apple Inc.
Email confirmado em su-root.co.uk - Página inicial
Título
Citado por
Citado por
Ano
Floating-point symbolic execution: a case study in n-version programming
D Liew, D Schemmel, C Cadar, AF Donaldson, R Zahl, K Wehrle
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
462017
Engineering a static verification tool for GPU kernels
E Bardsley, A Betts, N Chong, P Collingbourne, P Deligiannis, ...
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
402014
Mining scientific articles powered by machine learning techniques
CASJ Gulo, TRPM Rúbio, S Tabassum, SGD Prado
2015 Imperial College computing student workshop (ICCSW 2015), 2015
33*2015
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing
D Liew, C Cadar, AF Donaldson, JR Stinnett
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
302019
Symbooglix: A symbolic execution engine for boogie programs
D Liew, C Cadar, AF Donaldson
2016 IEEE International Conference on Software Testing, Verification and …, 2016
172016
STP constraint solver
V Ganesh, T Hansen, M Soos, D Liew, R Govostes
https://stp.github.io, 2015
16*2015
Symbolic execution of verification languages and floating-point code
DS Liew
Imperial College London, UK, 2017
32017
Proceedings of the 2015 Imperial College Computing Student Workshop (ICCSW 2015)
C Schulz, D Liew
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2015
2015
OASIcs, Volume 49, ICCSW'15, Complete Volume
C Schulz, D Liew
2015 Imperial College Computing Student Workshop (ICCSW 2015), 2015
2015
STP in the SMTCOMP 2018
V Ganesh, T Hansen, M Soos, D Liew, R Govostes, N Manthey
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–10