A new tool for generating automatic test data from Ada source code. Here’s a quote from the website:
Mika is an entirely automatic tool that analyses your Ada code and generates, carefully constructed, tests that will exercise all the branches or decision within your code at a level suitable for integration testing. With Mika, manual test data generation is no longer necessary.
Lots more information can be found on the MIDOAN website.
A small example of usage can be found here.