Browsing by Author "Jakobs, Marie-Christine"
Now showing items 1-5 of 5
-
Combining Verifiers in Conditional Model Checking via Reducers
Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas; Wehrheim, Heike
151-152 -
Cooperative Test-Case Generation with Verifiers
Beyer, Dirk; Jakobs, Marie-Christine
107--108 -
Just test what you cannot verify!
Czech, Mike; Jakobs, Marie-Christine; Wehrheim, Heike
17-18 -
On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring
Jakobs, Marie-Christine
91-100 -
Variable Misuse Detection: Software Developers versus Neural Bug Detectors
Richter, Cedric; Haltermann, Jan; Jakobs, Marie-Christine; Pauck, Felix; Schott, Stefan; Wehrheim, Heike
103-104