MOCHA - MC & ATG
Posted by davidfarago on December 6, 2011 at 8:38 AM PST
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:
»
- 94 reads
