Anzahl der Publikationen: 11
2023
Sharma, Arnab; Melnikov, Vitalik; Hüllermeier, Eyke ORCID: https://orcid.org/0000-0002-9944-4108 und Wehrheim, Heike
(Februar 2023):
Property-Driven Black-Box Testing of Numeric Functions.
Software Engineering 2023, Paderborn, Germany, 20-24 February 2023.
Engels, Gregor; Hebig, Regina und Tichy, Matthias (Hrsg.):
111-112
Bonn: Gesellschaft für Informatik e.V.. S. 111-112
[PDF, 213kB]
2022
Sharma, Arnab; Melnikov, Vitalik; Hüllermeier, Eyke ORCID: https://orcid.org/0000-0002-9944-4108 und Wehrheim, Heike
(2022):
Property-driven testing of black-box functions.
10th International Conference on Formal Methods in Software Engineering (FormaliSE '22), Pittsburgh Pennsylvania, May 18 - 22, 2022.
In: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering,
New York: Association for Computing Machinery. S. 113-123
2021
2020
2019
2018
2017
2016
2009
Fober, Thomas; Mernberger, Marco; Melnikov, Vitalik; Moritz, Ralph und Hüllermeier, Eyke ORCID: https://orcid.org/0000-0002-9944-4108
(2009):
Extension and Empirical Comparison of Graph-Kernels for the Analysis of Protein Active Sites.
LWA 2009: Workshop-Woche: Lernen, Wissen, Adaptivität, Darmstadt, Germany, 21.-23. September 2009.
Hartmann, Melanie und Janssen, Frederik (Hrsg.):
Darmstadt: FG Telekooperation/FG Knowledge Engineering, Technische Universität Darmstadt. S. 30-36
Diese Liste wurde am
Sat Apr 27 23:22:24 2024 CEST
erstellt.