TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.

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

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

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

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

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

This list was generated on Sat Jul 20 00:34:51 2019 CEST.