Deutsch

Pradel, Michael ; Gross, Thomas R. (2013)
Automatic testing of sequential and concurrent substitutability.
San Francisco, CA, USA
doi: 10.1109/ICSE.2013.6606574
Konferenzveröffentlichung, Bibliographie

Pradel, Michael ; Gross, Thomas R. (2012)
Leveraging test generation and specification mining for automated bug detection without false positives.
Zurich, Switzerland
doi: 10.1109/ICSE.2012.6227185
Konferenzveröffentlichung, Bibliographie

Pradel, Michael ; Jaspan, Ciera ; Aldrich, Jonathan ; Gross, Thomas R. (2012)
Statically checking API protocol conformance with mined multi-object specifications.
Zurich, Switzerland
doi: 10.1109/ICSE.2012.6227127
Konferenzveröffentlichung, Bibliographie

Englisch

Della Toffola, Luca ; Pradel, Michael ; Gross, Thomas R.
Hrsg.: Gill, Andy (2015)
Performance problems you can fix: a dynamic analysis of memoization opportunities.
Pittsburgh, PA, USA
doi: 10.1145/2814270.2814290
Konferenzveröffentlichung, Bibliographie

Loruenser, Thomas ; Rodriguez, Charles Bastos ; Demirel, Denise ; Fischer-Hübner, Simone ; Gross, Thomas R. ; Langer, Thomas ; des Noes, Mathieu ; Poehls, Henrich ; Rozenberg, Boris ; Slamanig, Daniel (2015)
Towards a New Paradigm for Privacy and Security in Cloud Services.
In: CoRR abs/1506.05980 (2015)
Artikel, Bibliographie