Setac: A Framework for Phased Deterministic Testing of Actor Programs

http://mir.cs.illinois.edu/setac/

 

setac allows testing actors by specifying an order in which messages are delivered and knowing when all actors have processed them so their state can be examined.

Developer