Mike Czech

According to our database, Mike Czech authored at least 4 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Predicting Rankings of Software Verification Competitions.

Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim

CoRR, 2017

Predicting rankings of software verification tools.

Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim

Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics, 2017

2016

Just test what you cannot verify!

Mike Czech, Marie-Christine Jakobs, Heike Wehrheim

Proceedings of the Software Engineering 2016, 2016

2012

Heuristic-Guided Abstraction Refinement for Concurrent Systems.

Nils Timm, Heike Wehrheim, Mike Czech

Proceedings of the Formal Methods and Software Engineering, 2012