Mika: A tool for the automatic generation of tests from Ada source code.

Mika is an automatic test input generation tool for code written in a subset of Ada 83, Ada 95 or Ada 2005. Mika uses symbolic execution and constraints logic programming to generate inter-subprogram test inputs that will, by construction, exercise, during execution, the maximum possible number of branches, decisions or MC/DCs, in the code under test. It can also attempt to generate tests that raise exceptions.