|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 3
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
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