Marielle Stoelinga and Marcus Gerhold win best paper award at ETAPS 2016

During the Euopean Joint Conferences on Theory and Practice and Software 2016 (ETAPS'16) in Eindhoven Mariëlle Stoelinga and Marcus Gerhold win the EASST best paper for their paper titled 'Model-Based Testing of Probabilistic Systems'. 

Their work describes the testing process of systems that make use of probability and how to check whether or not they were implemented correctly.

Further information.

April 06, 2016
See this news item in overview by year.