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

Beyer, Dirk and Jakobs, Marie-Christine Michael, Felderer and Wilhelm, Hasselbring and Rick, Rabiser and Jung, Reiner (eds.) (2020):
Cooperative Test-Case Generation with Verifiers.
In: Software Engineering 2020, Bonn, Gesellschaft für Informatik e.V., In: Tagung Software Engineering der Gesellschaft für Informatik 2020, Innsbruck, Österreich, 24.-28.02.2020, pp. 107-108, DOI: 10.18420/SE2020_31,
[Conference or Workshop Item]

Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike Beyer, Dirk and Keller, Chantal (eds.) (2019):
When are Software Verification Results valid for Approximate Hardware?
In: TAP 2019-13th International Conference on Tests and Proofs, Porto, Portugal, 9.-11.10.2019, ISBN 978-3-030-31157-5,
DOI: 10.1007/978-3-030-31157-5_1,
[Online-Edition: https://link.springer.com/book/10.1007/978-3-030-31157-5],
[Conference or Workshop Item]

Lochau, Malte and Bürdek, Johannes and Bauregger, Stefan and Holzer, Andreas and von Rhein, Alexander and Apel, Sven and Beyer, Dirk (2016):
On facilitating reuse in multi-goal test-suite generation for software product lines.
In: Software Engineering, SE 2016, pp. 81-82, [Online-Edition: http://subs.emis.de/LNI/Proceedings/Proceedings252/article31...],
[Conference or Workshop Item]

Bürdek, Johannes and Lochau, Malte and Bauregger, Stefan and Holzer, Andreas and von Rhein, Alexander and Apel, Sven and Beyer, Dirk (2015):
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
In: Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, pp. 84-99, [Online-Edition: http://dx.doi.org/10.1007/978-3-662-46675-9_6],
[Conference or Workshop Item]

This list was generated on Tue Mar 31 02:09:34 2020 CEST.