Maxim Petrov

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Automated test generation has received a lot of attention in recent decades, because it is one possible solution to the problems inherent to software testing: the need to write tests in the first place and providing test coverage for the human factor. De facto the most promising technique to automatically generate a test is dynamic symbolic execution(More)
  • 1