Vasily Malinov

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
This paper offers a knowledge management method for industrial model-based testing, which based on partial specifications and “attached” to the software development process that uses it. Partial specification means formal description of considerable/potentially problematic properties of a system, and is used for further automated testing. That allows(More)
  • 1