Comprehensive service matching with MatchBox. - Paul Börding; Melanie Bruns; Marie Christin Platenius (ESEC/SIGSOFT FSE, 2015)

JMCTest: Automatically Testing Inter-Method Contracts in Java. - Paul Börding; Jan Haltermann; Marie-Christine Jakobs; Heike Wehrheim (ICTSS, 2018)