Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alastair F. Donaldson

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Cristian Cadar

> Home > Persons > Alastair F. Donaldson

Publications

2023
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/fuzzing/BendrissouCD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fuzzing/BendrissouCD23
Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson:
Grammar Mutation for Testing Input Parsers (Registered Report). FUZZING 2023: 3-11
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Even-MendozaSDC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Even-MendozaSDC23
Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar:
GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA 2023: 1219-1231
2022
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ese/Even-MendozaCD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/Even-MendozaCD22
Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson:
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. Empir. Softw. Eng. 27(6): 129 (2022)
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BusseGCD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BusseGCD22
Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson:
Combining static analysis error traces with dynamic symbolic execution (experience paper). ISSTA 2022: 568-579
2020
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Even-MendozaCD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Even-MendozaCD20
Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson:
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. ASE 2020: 1219-1223
2019
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MarcozziTDC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MarcozziTDC19
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar:
Compiler fuzzing: how much does it matter? Proc. ACM Program. Lang. 3(OOPSLA): 155:1-155:29 (2019)
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LiewCDS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LiewCDS19
Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett:
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. ESEC/SIGSOFT FSE 2019: 521-532
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-09334
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-09334
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar:
A Systematic Impact Study for Fuzzer-Found Compiler Bugs. CoRR abs/1902.09334 (2019)
2017
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LiewSCDZW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LiewSCDZW17
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle:
Floating-point symbolic execution: a case study in n-version programming. ASE 2017: 601-612
2016
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CadarD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CadarD25
Cristian Cadar, Alastair F. Donaldson:
Analysing the program analyser. ICSE (Companion Volume) 2016: 765-768
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LiewCD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LiewCD16
Daniel Liew, Cristian Cadar, Alastair F. Donaldson:
Symbooglix: A Symbolic Execution Engine for Boogie Programs. ICST 2016: 45-56

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.