![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 7
Zeitschriftenartikel
Richter, Cedric; Hüllermeier, Eyke 
ORCID: https://orcid.org/0000-0002-9944-4108; Jakobs, Marie-Christine und Wehrheim, Heike
(April 2020):
Algorithm selection for software validation based on graph kernels.
In: Automated Software Engineering, Bd. 27, Nr. 1-2: S. 153-186
[PDF, 2MB]
ORCID: https://orcid.org/0000-0002-9944-4108; Jakobs, Marie-Christine und Wehrheim, Heike
(April 2020):
Algorithm selection for software validation based on graph kernels.
In: Automated Software Engineering, Bd. 27, Nr. 1-2: S. 153-186
[PDF, 2MB]
Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas und Wehrheim, Heike
(2018):
Reducer-Based Construction of Conditional Verifiers.
In: Proceedings 2018 Ieee/Acm 40Th International Conference on Software Engineering (Icse): S. 1182-1193
Konferenzbeitrag
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]
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]
Sharma, Arnab; Melnikov, Vitalik; Hüllermeier, Eyke ORCID: https://orcid.org/0000-0002-9944-4108 und Wehrheim, Heike
(Mai 2022):
Property-Driven Testing of Black-Box Functions.
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), Pittsburgh, PA, USA, 22-23 May 2022.
S. 113-123
ORCID: https://orcid.org/0000-0002-9944-4108 und Wehrheim, Heike
(Mai 2022):
Property-Driven Testing of Black-Box Functions.
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), Pittsburgh, PA, USA, 22-23 May 2022.
S. 113-123
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662; Haltermann, Jan; Lemberger, Thomas und Wehrheim, Heike
(2022):
Decomposing software verification into off-the-shelf components.
44th International Conference on Software Engineering: ICSE '22, Pittsburgh Pennsylvania, May 21 - 29, 2022.
In: Proceedings of the 44th International Conference on Software Engineering,
New York: Association for Computing Machinery. S. 536-548
ORCID: https://orcid.org/0000-0003-4832-7662; Haltermann, Jan; Lemberger, Thomas und Wehrheim, Heike
(2022):
Decomposing software verification into off-the-shelf components.
44th International Conference on Software Engineering: ICSE '22, Pittsburgh Pennsylvania, May 21 - 29, 2022.
In: Proceedings of the 44th International Conference on Software Engineering,
New York: Association for Computing Machinery. S. 536-548
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
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
Czech, Mike; Hüllermeier, Eyke ORCID: https://orcid.org/0000-0002-9944-4108; Jakobs, Marie-Christine und Wehrheim, Heike
(2017):
Predicting rankings of software verification tools.
3rd ACM SIGSOFT International Workshop on Software Analytics, Paderborn, Germany, 4 September 2017.
Baysal, Olga (Hrsg.):
In: Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics,
ACM: New York, NY. S. 23-26
ORCID: https://orcid.org/0000-0002-9944-4108; Jakobs, Marie-Christine und Wehrheim, Heike
(2017):
Predicting rankings of software verification tools.
3rd ACM SIGSOFT International Workshop on Software Analytics, Paderborn, Germany, 4 September 2017.
Baysal, Olga (Hrsg.):
In: Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics,
ACM: New York, NY. S. 23-26