Actors: A Model of Concurrent Computation in Distributed Systems, 1986. ,
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
Concurrent Programming: Principles and Practice, 1991. ,
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
A Complete Guide to the Future, Proc. of ESOP'07, pp.316-330, 2007. ,
DOI : 10.1007/978-3-540-71316-6_22
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
Dynamic Partial-Order Reduction for Model Checking Software, Proc. of POPL'05, pp.110-121, 2005. ,
Using partial orders to improve automatic verification methods, Proc. of CAV'91, pp.176-185, 1991. ,
DOI : 10.1007/BFb0023731
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
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
Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, pp.385-394, 1976. ,
DOI : 10.1145/360248.360252
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
Automated Systematic Testing of Open Distributed Programs, Proc. of FASE'06, pp.339-356, 2006. ,
DOI : 10.1007/11693017_25
A Framework for Stepwise Deterministic Testing of Akka Actors ,
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
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