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.
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.