Configurable Test Program Generator
Configurable Test Program Generator
An Open-Source Framework To Automate Test Program Generation
Configurable Test Program Generator
Configurable Test Program Generator
An Open-Source Framework To Automate Test Program Generation
Configurable Test Program Generator
Configurable Test Program Generator
An Open-Source Framework To Automate Test Program Generation

Recent MicroTESK News

MicroTESK for Binary Code Verification
September 1, 2020
In this spring and summer, we wrote two papers on deductive verification of binary code against source-code-level specifications: one of them was published in Proceedings of the 14th Intern...
MicroTESK 2.5.1 Released
January 27, 2020
MicroTESK 2.5.1 has been released. What's new? Fixed the TokenSourceStack class and moved it to the Castle 0.1.4 libraryRearranged the documentationMoved the documentation sources int...
MicroTESK @ December 2019 Events
December 29, 2019
As usual, December was rich in events for our team. We attended three conferences, one in Russia and two in USA, where we presented MicroTESK in general (core and engines), MicroTESK for RI...