• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Article

Using a bounded model checker for test generation: How to kill two birds with one SMT solver

Automatic Control and Computer Sciences. 2015. Vol. 7. No. 49. P. 466-472.
Beliaev Mikhail, Petrov M., Gagarski K., Itsykson V.M.