"Unbearable Ease" of Automatic Test Generation

We will talk about the pitfalls and prospects of automatic test generation. We will tell you how three years ago we started looking for a solution based on formal methods (symbolic execution and fuzzing) and created UnitTestBot. The tool won international competitions and was recognised in the academic environment, but it did not always manage to achieve high quality tests on large projects. Now we believe that the future of technology lies in the synthesis of formal methods and AI.