Della Toffola, Luca ; Pradel, Michael ; Gross, Thomas R.
Gill, Andy (ed.) (2015):
Performance problems you can fix: a dynamic analysis of memoization opportunities.
In: OOPSLA 2015, 50, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 607-622,
ACM, Pittsburgh, PA, USA, ISBN 978-1-4503-3689-5,
DOI: 10.1145/2814270.2814290,
[Conference or Workshop Item]

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), [Article]

Pradel, Michael ; Gross, Thomas R. (2013):
Automatic testing of sequential and concurrent substitutability.
In: ICSE '13, In: Proceedings of the 2013 International Conference on Software Engineering, pp. 282-291,
IEEE Press, San Francisco, CA, USA, ISBN 978-1-4673-3076-3,
DOI: 10.1109/ICSE.2013.6606574,
[Conference or Workshop Item]

Pradel, Michael ; Gross, Thomas R. (2012):
Leveraging test generation and specification mining for automated bug detection without false positives.
In: ICSE '12, In: Proceedings of the 34th International Conference on Software Engineering, pp. 288-298,
IEEE Press, Zurich, Switzerland, ISBN 978-1-4673-1067-3,
DOI: 10.1109/ICSE.2012.6227185,
[Conference or Workshop Item]

Pradel, Michael ; Jaspan, Ciera ; Aldrich, Jonathan ; Gross, Thomas R. (2012):
Statically checking API protocol conformance with mined multi-object specifications.
In: ICSE '12, In: Proceedings of the 34th International Conference on Software Engineering, pp. 925-935,
IEEE Press, Zurich, Switzerland, ISBN 978-1-4673-1067-3,
DOI: 10.1109/ICSE.2012.6227127,
[Conference or Workshop Item]