Controlled method of random test synthesis

Vyacheslav N. Yarmolik, Ireneusz Mrozek, Svetlana V. Yarmolik. Controlled method of random test synthesis. Automatic Control and Computer Sciences, 49(6):395-403, 2015. [doi]

@article{YarmolikMY15,
  title = {Controlled method of random test synthesis},
  author = {Vyacheslav N. Yarmolik and Ireneusz Mrozek and Svetlana V. Yarmolik},
  year = {2015},
  doi = {10.3103/S0146411615060115},
  url = {http://dx.doi.org/10.3103/S0146411615060115},
  researchr = {https://researchr.org/publication/YarmolikMY15},
  cites = {0},
  citedby = {0},
  journal = {Automatic Control and Computer Sciences},
  volume = {49},
  number = {6},
  pages = {395-403},
}