Basset: a tool for systematic testing of actor programs

@inproceedings{Lauterburg2010BassetAT,
  title={Basset: a tool for systematic testing of actor programs},
  author={Steven Lauterburg and Rajesh K. Karmani and Darko Marinov and Gul A. Agha},
  booktitle={SIGSOFT FSE},
  year={2010}
}
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent and distributed systems. Since the actor model is based on message passing and disallows shared state, it avoids some of the problems inherent in shared-memory programming, e.g., low-level dataraces involving access to shared data. However, actor programs can still have bugs that result from incorrect orders of messages… CONTINUE READING