Horntinuum: Autonomous Testing using Constrained Horn Clauses

@inproceedings{Zlatkin-Fedyukovich:ASE22,
  author    = {Ilia Zlatkin and
               Grigory Fedyukovich},
  title     = {Horntinuum: Autonomous Testing using Constrained Horn Clauses},
  booktitle = {ASE},
  pages     = {217:1},
  publisher = {{ACM}},
  year      = {2022},
}