Folgen
Daniel Liew
Daniel Liew
Apple Inc.
Bestätigte E-Mail-Adresse bei su-root.co.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
502017
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10