Basset: A Tool for Systematic Testing of Actor Programs

Welcome to the Basset project homepage. Basset is a tool and framework that allows users to systematically test actor programs that compile to Java bytecode. Basset is an extension for the Java PathFinder model checker developed at NASA Ames. Basset can currently check actor programs written in the Scala programming language or the ActorFoundry library for Java.

On This Page

Publicationsback to the top

A Framework for State-Space Exploration of Java-based Actor Programs

By Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul Agha.
In Proc. of 24th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2009), Auckland, New Zealand, November 2009. [pdf].

Evaluating Ordering Heuristics for Dynamic Partial-order Reduction Techniques

By Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha.
In Proc. of Fundamental Approaches to Software Engineering
(FASE 2010), Paphos, Cyprus, March 2010. [pdf].

Mutation Operators for Actor Systems

By Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha.
In the 5th International Workshop on Mutation Analysis
(Mutation 2010), Paris, France, April 2010. [pdf].

Basset: A Tool for Systematic Testing of Actor Programs

By Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha.
In the 18th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Formal Research Demonstration
(FSE Demo 2010), Santa Fe, NM, November 2010. [pdf].

Downloadback to the top

Buildback to the top

Runback to the top

Acknowledgementsback to the top

This material is based upon work partially supported by the National Science Foundation under Grant Nos. CCF-0916893, CNS-0851957, CCF-0746856, CNS-0615372, and CNS-0509321. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation (NSF).

Milos Gligoric was supported by the Saburo Muroga fellowship while working on a part of this project.

We would like to thank Stoyan Gaydarov, Bobak Hadidi, Viktor Kuncak, P. Madhusudan, Edgar Pek, Vasko Popstojanov, and Samira Tasharofi for discussions and other assistance during the course of this project.

We thank the students from the "CS 598GA: Actor Languages, Compilers and Runtime Systems" (Fall 2009 and Fall 2008), "CS 524: Concurrent Programming Languages" (Spring 2009), and "CS 427: Software Engineering I" (Fall 2009) classes at the University of Illinois for constructive feedback on Basset.