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

Jakobs, Marie-Christine ; Richter, Cedric (2021):
CoVeriTest with Adaptive Time Scheduling (Competition Contribution).
In: Lecture Notes in Computer Science, 12649, In: Fundamental Approaches to Software Engineering, pp. 358-362,
Springer, 24th International Conference on Fundamental Approaches to Software Engineering, virtual Conference, 27.03.-01.04.2021, ISBN 978-3-030-71499-4,
DOI: 10.1007/978-3-030-71500-7_18,
[Conference or Workshop Item]

Richter, Cedric ; Hüllermeier, Eyke ; Jakobs, Marie-Christine ; Wehrheim, Heike (2020):
Algorithm selection for software validation based on graph kernels.
In: Automated Software Engineering, 27 (1-2), pp. 153-186. Springer, ISSN 0928-8910,
DOI: 10.1007/s10515-020-00270-x,
[Article]

This list was generated on Sat Oct 16 06:17:02 2021 CEST.