• definitely finished

    Test-Case Generation using Cooperating Constraint Solvers

    The aim is the development of a tool for the automatic generation of test cases for programs written in Java. The set of generated test cases should cover all control and/or data flows of a considered system of Java classes.

    Project status definitely finished
    Project time 01.01.2014- 31.12.2015
    Funding source German Academic Exchange Service
    Project number 57049954
    Keywords test case; control-flow coverage; dataflow coverage; symbolic computation; constraint solver