1 paper
S. I. Khashin, S. E. Vaganov
A method for automatically finding a program (bytecode) realizing the given algorithm is developed. The algorithm is specified as a set of tests (input\_data) → (outp…