University of Münster
CRIS@UM
DE | EN

ACM Best Paper Award

Basic data of the distinction

Type of award: Best publication award
Awarded by: Association for Computing Machinery (ACM)
Award given to: Winkelmann, Hendrik; Troost, Laura; Kuchen, Herbert
Announced at: 03/05/2022
Date of awarding: 03/05/2022

Award winners from the University of Münster

Kuchen, Herbert
Practical Computer Science Group (PI)
Troost, Laura
Practical Computer Science Group (PI)
Winkelmann, Hendrik
Practical Computer Science Group (PI)

Awarded Activities & Results

Awarded publications

Constraint-Logic Object-Oriented Programming for Test Case Generation
Winkelmann Hendrik, Troost Laura, Kuchen Herbert (2022)
In: Association for Computing Machinery (eds.), 37th ACM/SIGAPP Symposium On Applied Computing, 1499-1508. New York, NY, USA: ACM Press. doi:10.1145/3477314.3507015
Research article in edited proceedings (conference) | Peer reviewed | Published