MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors.

Alexander Kamkin Andrei Tatarnikov

Published in: Ershov Informatics Conference (2017)

Keyphrases

test cases
real world
computing power
test data
personal computer
generation process
information retrieval
program execution
program understanding