Im Rahmen des Software Verification and Testing Tracks (SVT) des ACM Symposium on Applied Computing (SAC), wird die Publikation “BlueCov: Integrating Test Coverage and Model Checking with JBMC”, eine Zusammenarbeit mit Peter Schrammel, präsentiert.