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 @ RISC-V Workshop Zurich 2019
June 18, 2019
The use of MicroTESK to specify memory management units and generate memory-related test programs was presented at the RISC-V Workshop held in Zurich, Switzerland on June 11-12, 2019.
MicroTESK @ SYRCoSE 2019
June 18, 2019
Our research-in-progress on binary code deductive verification was presented at the Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE) held in Saratov, Russia on M
MicroTESK @ RISC-V Tech Symposium 2019
May 23, 2019
Our R&D on test program generation and binary code deductive analysis was presented at the RISC-V Technical Symposium held in Moscow, Russia on May 20, 2019.