2021

Beyer, Dirk ; Jakobs, Marie-Christine (2021)
Cooperative verifier-based testing with CoVeriTest.
In: International Journal on Software Tools for Technology Transfer, 23 (3)
doi: 10.1007/s10009-020-00587-8
Artikel, Bibliographie

2020

Beyer, Dirk ; Jakobs, Marie-Christine
Hrsg.: Felderer, Michael ; Hasselbring, Wilhelm ; Rabiser, Rick ; Jung, Reiner (2020)
Cooperative Test-Case Generation with Verifiers.
Tagung Software Engineering der Gesellschaft für Informatik 2020. Innsbruck, Österreich (24.-28.02.2020)
doi: 10.18420/SE2020_31
Konferenzveröffentlichung, Bibliographie

Beyer, Dirk ; Lemberger, Thomas ; Jakobs, Marie-Christine
Hrsg.: de Boer, Frank S. ; Cerone, Antonio (2020)
Difference Verification with Conditions.
virtual Conference (14.–18.09.)
doi: 10.1007/978-3-030-58768-0_8
Konferenzveröffentlichung, Bibliographie

Beyer, Dirk ; Jakobs, Marie-Christine
Hrsg.: de Boer, Frank S. ; Cerone, Antonio (2020)
FRed: Conditional Model Checking via Reducers and Folders.
virtual Conference (14.-18.09)
doi: 10.1007/978-3-030-58768-0_7
Konferenzveröffentlichung, Bibliographie

2019

Isenberg, Tobias ; Jakobs, Marie-Christine ; Pauck, Felix ; Wehrheim, Heike
Hrsg.: Beyer, Dirk ; Keller, Chantal (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)
doi: 10.1007/978-3-030-31157-5_1
Konferenzveröffentlichung, Bibliographie

2016

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.
Software Engineering, SE 2016.
Konferenzveröffentlichung, Bibliographie

2015

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.
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.
Konferenzveröffentlichung, Bibliographie