@article{AlmaawiETAL19KoratCounter,
  author = {Almaawi, Alyas and Converse, Hayes and Gligoric, Milos and Misailovic, Sasa and Khurshid, Sarfraz},
  title = {Quantifying the Exploration of the {K}orat Solver for Imperative Constraints},
  journal = {Java Pathfinder Workshop},
  pages = {15--19},
  year = {2019},
  volume = {44},
  number = {4},
}