Midoan introduces the first fully automatic test data generation tool from Ada source code. http://www.midoan.com/ Version 1.3: Mika now runs on Windows 10 and GNAT GPL 2010 http://www.midoan.com/download.html Mika's license fee is now free for non-commercial use, support fee has also been reduced. http://www.midoan.com/download.html a new version of Mika is available, binary bitwise operators are now supported. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/download.html Videos and white papers on Mika are available. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/mika.html Mika's next version is running a little late; it will now be released in mid-November and contain fewer new features than planned. White papers and videos are coming though. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/mika.html New version includes MCDC test data generation. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/download.html 31st March 2010: Next version will include MCDC test data generation. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/soon.html New Mika Version 1.1.3 can be downloaded. Subset improvement includes support for modular arithmetic and array concatenation. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/download.html The next version of Mika, will be released soon; subset improvement will include support for modular arithmetic and array concatenation. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/soon.html New Mika Version 1.1.2 can be downloaded. Gnat project files are supported and the tools can be used via the command line. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/download.html The next version of Mika will be released in early September; you can still influence its contents by visiting, anonymously if you wish, our request page. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/request.html The next version of Mika will handle GNAT project files. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/soon.html New Mika Version 1.1.1 can be downloaded. This is a minor release. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/download.html New Mika Version 1.1 can be downloaded. Mika is now GNAT version and distribution agnostic; you can use your current installation of GNAT. Other improvements, bug fixes and subset enlargements are documented in the release notes. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/download.html Mika's next release will be version 1.1. Toolchain independence has been achieved: you will be able to use your current GNAT installation (e.g. GNAT Pro) or try it by downloading other GNAT releases. Mika is now based on Ada 2005. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/mika.html Mika's next release, will include support for all major recent GNAT distributions including GNAT Pro and GNAT GPL. This will remove the previous dependency on MinGW GNAT 3.4.2. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/soon.html Mika Version 1.0 can be downloaded and tried for free in demonstration mode. Notable addition in this version is the availability of a simple but highly productive GUI. Remember that we can accomodate your requests and don't forget that we also currently offer free support even in demonstration mode. Yours sincerely, the Midoan and Mika Team http://www.midoan.com/download.html