Publications
Machinery, New York, NY, USA, 19–24. DOI: https://doi.org/10.1145/3088515.3088518 Preprint PDF (1 MB) BibTeX BIB (1 KB) Hermes: Assessment and Creation of Effective Test Corpora Michael Reif, Michael [...] Machinery, New York, NY, USA, 26–30. DOI: https://doi.org/10.1145/2771284.2771289 Preprint PDF (1 MB) BibTeX BIB (1 KB) 2014 FlowTwist: Efficient Context-sensitive Inside-out Taint Analysis for Large [...] Art in Java Program Analysis ( SOAP '14 ). Association for Computing Machinery, New York, NY, USA, 1–6. DOI: https://doi.org/10.1145/2614628.2614630 Preprint PDF (449 KB) BibTeX BIB (1 KB) …