Skip to main content

MOCHA - MC & ATG

Posted by davidfarago on December 6, 2011 at 8:38 AM PST
Project URL

Go see Project Homepage

Summary

MOCHA (Model Checking and Automated Test Generation) is a dfg-granted (http://gepris.dfg.de/gepris/OCTOPUS/;jsessionid=3E49A0484E38DD18921397B74534DA5D?module=gepris&task=showDetail&context=projekt&id=137421300) research project about Model-Based Testing via algorithms from the field of model checking, see http://lfm.iti.uni-karlsruhe.de/705.php.

Parent project

no parent

Community: 

Incubating