MicroTESK Core

MicroTESK Framework for Developing Test Program Generators:
https://forge.ispras.ru/projects/microtesk/repository

MicroTESK for MIPS

MIPS ISA Specifications and Sample Test Templates:
https://forge.ispras.ru/projects/microtesk-mips64/repository

MicroTESK for RISC-V

RISC-V ISA Specifications and Sample Test Templates:
https://forge.ispras.ru/projects/microtesk-riscv/repository

Test Programs Generated (Mostly) by MicroTESK for RISC-V:
https://github.com/ispras/riscv-avs