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

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

Beyer, Dirk ; Lemberger, Thomas ; Jakobs, Marie-Christine
de Boer, Frank S. ; Cerone, Antonio (eds.) (2020):
Difference Verification with Conditions.
In: 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), pp. 133-154,
Springer, virtual Conference, 14.–18.09., ISBN 978-3-030-58768-0,
DOI: 10.1007/978-3-030-58768-0_8,
[Conference or Workshop Item]

Beyer, Dirk ; Jakobs, Marie-Christine
de Boer, Frank S. ; Cerone, Antonio (eds.) (2020):
FRed: Conditional Model Checking via Reducers and Folders.
In: 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), pp. 113-132,
Springer, virtual Conference, 14.-18.09, ISBN 978-3-030-58768-0,
DOI: 10.1007/978-3-030-58768-0_7,
[Conference or Workshop Item]

Isenberg, Tobias ; Jakobs, Marie-Christine ; Pauck, Felix ; Wehrheim, Heike
Beyer, Dirk ; Keller, Chantal (eds.) (2019):
When are Software Verification Results valid for Approximate Hardware?
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,
[Conference or Workshop Item]

Lochau, Malte ; Bürdek, Johannes ; Bauregger, Stefan ; Holzer, Andreas ; Rhein, Alexander von ; Apel, Sven ; Beyer, Dirk (2016):
On facilitating reuse in multi-goal test-suite generation for software product lines.
pp. 81-82, Software Engineering, SE 2016, [Conference or Workshop Item]

Bürdek, Johannes ; Lochau, Malte ; Bauregger, Stefan ; Holzer, Andreas ; Rhein, Alexander von ; Apel, Sven ; Beyer, Dirk (2015):
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
pp. 84-99, 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, [Conference or Workshop Item]

This list was generated on Tue Oct 19 07:54:29 2021 CEST.