@INPROCEEDINGS{ase2013,
  author = {Samira Tasharofi and Michael Pradel and Yu Lin and Ralph Johnson},
  title = {Bita: Coverage-Guided, Automatic Testing of Actor Programs},
  booktitle = {Automated Software Engineering (ASE)},
  year = {2013}
}