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: 3.

Amann, Sven and Beyer, Stefanie and Kevic, Katja and Gall, Harald
Meyer, Bertrand and Nordio, Martin (eds.) (2015):
Software Mining Studies: Goals, Approaches, Artifacts, and Replicability.
In: Advances in the theory and practice of software engineering - LASER 2013-2014, Springer, pp. 121-159, [Book Section]

Proksch, Sebastian and Bauer, Veronika and Murphy, Gail C.
Meyer, Bertrand and Nordio, Martin (eds.) (2015):
How to Build a Recommendation System for Software Engineering.
In: Advances in the theory and practice of software engineering - LASER 2013-2014, Springer, pp. 1-42, [Online-Edition: http://www.springer.com/gb/book/9783319284057],
[Book Section]

Engel, Christian and Hähnle, Reiner
Meyer, Bertrand and Gurevich, Yuri (eds.) (2007):
Generating Unit Tests from Formal Proofs.
In: Proc. Tests and Proofs (TAP), Zürich, Switzerland, Springer-Verlag, In: Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, In: LNCS, 4454, DOI: 10.1007/978-3-540-73770-4_10,
[Online-Edition: https://doi.org/10.1007/978-3-540-73770-4_10],
[Conference or Workshop Item]

This list was generated on Sat Aug 24 00:48:19 2019 CEST.