Παρακολούθηση
Daniel Liew
Daniel Liew
Apple Inc.
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα su-root.co.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
562017
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
432014
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
362019
Das Morgen-Land
T Schulz
Der Spiegel 10 (2015), 20-29, 2015
36*2015
Symbooglix: A symbolic execution engine for boogie programs
D Liew, C Cadar, AF Donaldson
2016 IEEE International Conference on Software Testing, Verification and …, 2016
182016
STP constraint solver
V Ganesh, T Hansen, M Soos, D Liew, R Govostes
https://stp.github.io, 2015
17*2015
Symbolic execution of verification languages and floating-point code
DS Liew
Imperial College London, UK, 2017
32017
2015 Imperial College Computing Student Workshop (ICCSW 2015)
C DiBona, ET Mueller, E Belikov, K El-Abbasy, A Angelopoulou, T Towell, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–10