Setac : A Framework for Phased Deterministic Testing of Scala Actor Programs
暂无分享,去创建一个
[1] Gul A. Agha,et al. ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.
[2] Daniel Hoffman,et al. Tool Support for Testing Concurrent Java Components , 2003, IEEE Trans. Software Eng..
[3] William Pugh,et al. Unit testing concurrent software , 2007, ASE.
[4] Francisco Vilar Brasileiro,et al. Improving Automated Testing of Multi-threaded Software , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.
[5] Darko Marinov,et al. A Framework for State-Space Exploration of Java-Based Actor Programs , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
[6] Darko Marinov,et al. Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques , 2010, FASE.
[7] Darko Marinov,et al. Basset: a tool for systematic testing of actor programs , 2010, FSE '10.
[8] Philipp Haller,et al. Actors in Scala - concurrent programming for the multi-core era , 2011 .