A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
A Framework for State-Space Exploration of Java-Based Actor Programs
2009
2009 IEEE/ACM International Conference on Automated Software Engineering
The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be interleaved, and distributed nodes may operate asynchronously. The resulting nondeterminism is captured by nondeterministic processing of messages. To automate testing, researchers have developed several tools tailored to specific actor systems. As actor languages and libraries continue to evolve, such tools have to be
doi:10.1109/ase.2009.88
dblp:conf/kbse/LauterburgDMA09
fatcat:nhx7uudopjejtfazbs5h2zhyaq