Skip to main content

MOCHA - MC & ATG

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.

Tags:
testing, mbt, research
Members:
5
Source License:
GPL-3.0, GPL-2.0
 
 
Close
loading
Please Confirm
Close