Samira Tasharofi, Michael Pradel, Yu Lin, Ralph E. Johnson
Bita: Coverage-guided, automatic testing of actor programs
ASE, 2013.
@inproceedings{ASE-2013-TasharofiPLJ,
author = "Samira Tasharofi and Michael Pradel and Yu Lin and Ralph E. Johnson",
booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2013.6693072",
pages = "114--124",
publisher = "{IEEE}",
title = "{Bita: Coverage-guided, automatic testing of actor programs}",
year = 2013,
}