article · Repository for Publications and Research Data (ETH Zurich) · 2022

DEAD: Dead Code Elimination based Automatic Differential Testing

Girsberger, Yann W.

Cited by 0Open access

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Girsberger, Y. W. (2022). DEAD: Dead Code Elimination based Automatic Differential Testing. Repository for Publications and Research Data (ETH Zurich). https://doi.org/10.3929/ethz-b-000547786

MLA 9

Girsberger, Yann W. “DEAD: Dead Code Elimination based Automatic Differential Testing.” Repository for Publications and Research Data (ETH Zurich), 2022, https://doi.org/10.3929/ethz-b-000547786.

Chicago

Girsberger, Yann W. 2022. “DEAD: Dead Code Elimination based Automatic Differential Testing.” Repository for Publications and Research Data (ETH Zurich). https://doi.org/10.3929/ethz-b-000547786.

Harvard

Girsberger, Y.W. (2022) ‘DEAD: Dead Code Elimination based Automatic Differential Testing’, Repository for Publications and Research Data (ETH Zurich). Available at: https://doi.org/10.3929/ethz-b-000547786.

BibTeX

@article{girsberger2022dead,
  title = {{DEAD: Dead Code Elimination based Automatic Differential Testing}},
  author = {Girsberger, Yann W.},
  journal = {Repository for Publications and Research Data (ETH Zurich)},
  year = {2022},
  doi = {10.3929/ethz-b-000547786}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.