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.

Jakobs, Marie-Christine (2020):
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).
In: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings, Cham, Springer, In: ETAPS, Dublin, Irland, April 25–30, 2020, pp. 540-544, ISBN 978-3-030-45233-9,
DOI: 10.1007/978-3-030-45234-6_30,
[Conference or Workshop Item]

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]

Ruland, Sebastian and Lochau, Malte and Jakobs, Marie-Christine (2020):
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
In: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings, Cham, Springer, In: ETAPS 2020, Dublin, Irland, April 25–30, 2020, pp. 520-524, ISBN 978-3-030-45233-9,
DOI: 10.1007/978-3-030-45234-6_26,
[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]

This list was generated on Sat Sep 19 02:28:55 2020 CEST.