| 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 | 51 | 2017 |
| 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 | 40 | 2014 |
| 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 | 30 | 2019 |
| Symbooglix: A symbolic execution engine for boogie programs D Liew, C Cadar, AF Donaldson 2016 IEEE International Conference on Software Testing, Verification and …, 2016 | 17 | 2016 |
| 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 | 3 | 2017 |
| 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 | | |
Alastair DonaldsonImperial College London在 imperial.ac.uk 的电子邮件经过验证
