Login / Signup
Maintaining ISA Specifications in MicroTESK Test Program Generator.
Mikhail M. Chupilko
Alexander Kamkin
Artem Kotsynyak
Alexander Protsenko
Sergey A. Smolov
Andrei Tatarnikov
Published in:
MTV (2017)
Keyphrases
</>
test cases
test suite
data generator
static analysis
multiple choice
recursive programs
set of test cases
databases
genetic algorithm
database systems
bayesian networks
programming language
test data
program synthesis