TU Darmstadt / ULB / TUbiblio

Algorithm selection for software validation based on graph kernels

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]

Item Type: Article
Erschienen: 2020
Creators: Richter, Cedric ; Hüllermeier, Eyke ; Jakobs, Marie-Christine ; Wehrheim, Heike
Title: Algorithm selection for software validation based on graph kernels
Language: English
Journal or Publication Title: Automated Software Engineering
Journal volume: 27
Number: 1-2
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Semantics and Verification of Concurrent Programs
Date Deposited: 07 Dec 2020 13:43
DOI: 10.1007/s10515-020-00270-x
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details