Mike Czech

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 4

Top Topics

Concurrent Systems

Search Algorithm

Refinement Process

Top Venues

SWAN@ESEC/SIGSOFT FSE

Software Engineering

Publications

Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
Predicting rankings of software verification tools. SWAN@ESEC/SIGSOFT FSE (2017)
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
Predicting Rankings of Software Verification Competitions. CoRR (2017)
Mike Czech, Marie-Christine Jakobs, Heike Wehrheim
Just test what you cannot verify! Software Engineering (2016)
Mike Czech, Marie-Christine Jakobs, Heike Wehrheim
Just Test What You Cannot Verify! FASE (2015)
Nils Timm, Heike Wehrheim, Mike Czech
Heuristic-Guided Abstraction Refinement for Concurrent Systems. ICFEM (2012)