G. A. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, 1986.

E. Albert, P. Arenas, M. Gómez-zamalloa, and P. Y. Wong, aPET: a test case generation tool for concurrent objects, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, pp.595-598, 2013.
DOI : 10.1145/2491411.2494590

G. R. Andrews, Concurrent Programming: Principles and Practice, 1991.

L. A. Clarke, A System to Generate Test Data and Symbolically Execute Programs, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.215-222, 1976.
DOI : 10.1109/TSE.1976.233817

F. S. De-boer, D. Clarke, and E. B. Johnsen, A Complete Guide to the Future, Proc. of ESOP'07, pp.316-330, 2007.
DOI : 10.1007/978-3-540-71316-6_22

J. Esparza, Model checking using net unfoldings, Science of Computer Programming, vol.23, issue.2-3, pp.151-195, 1994.
DOI : 10.1016/0167-6423(94)00019-0

URL : http://doi.org/10.1016/0167-6423(94)00019-0

C. Flanagan and P. Godefroid, Dynamic Partial-Order Reduction for Model Checking Software, Proc. of POPL'05, pp.110-121, 2005.

P. Godefroid, Using partial orders to improve automatic verification methods, Proc. of CAV'91, pp.176-185, 1991.
DOI : 10.1007/BFb0023731

P. Haller and M. Odersky, Scala Actors: Unifying thread-based and event-based programming, Theoretical Computer Science, vol.410, issue.2-3, pp.202-220, 2009.
DOI : 10.1016/j.tcs.2008.09.019

URL : http://doi.org/10.1016/j.tcs.2008.09.019

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, Proc. of FMCO'10 (Revised Papers ), pp.142-164, 2012.
DOI : 10.2498/cit.2002.01.01

J. C. King, Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, pp.385-394, 1976.
DOI : 10.1145/360248.360252

S. Lauterburg, R. K. Karmani, D. Marinov, and G. Agha, Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques, Proc. of FASE'10, pp.308-322, 2010.
DOI : 10.1007/978-3-642-12029-9_22

K. Sen and G. Agha, Automated Systematic Testing of Open Distributed Programs, Proc. of FASE'06, pp.339-356, 2006.
DOI : 10.1007/11693017_25

. Setak, A Framework for Stepwise Deterministic Testing of Akka Actors

B. Steensgaard, Points-to analysis in almost linear time, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.32-41, 1996.
DOI : 10.1145/237721.237727

S. Tasharofi, R. K. Karmani, S. Lauterburg, A. Legay, D. Marinov et al., TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs, FMOODS/FORTE'12, pp.219-234, 2012.
DOI : 10.1007/978-3-642-30793-5_14