@article{WangETAL18JPFBar,
  author = {Wang, Kaiyuan and Converse, Hayes and Gligoric, Milos and Misailovic, Sasa and Khurshid, Sarfraz},
  title = {A Progress Bar for the {JPF} Search Using Program Executions},
  journal = {Java Pathfinder Workshop},
  pages = {55--59},
  year = {2018},
  volume = {43},
  number = {4},
}