Zing: A Systematic State Explorer for Concurrent Software Tony Andrews Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research.
Jim Bondi (RIT) Chris Jansmann (UA) David Palmquist (CSUF)