Skip to main content

Projects


showing 1 - 1 of 1
  • Name:
    mocha-mbt
    Tags:
    testing, mbt, research
    Members:
    5

    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.

 
 
Close
loading
Please Confirm
Close