COMPSAC 2005: Second International Workshop on Software Cybernetics (July 27, 2005)

Panel Session: Model-Based Software Testing and Verification

COMPSAC 2005: Panel: Model based software testing and verification (slides)
Monitoring, Control, and Saftey of of Smart Homes (ConnectedSpaces)

Testing Distributed Software

This project is inactive at Purdue. For more information click here.
Static and Dynamic Testing of e-business components
Feedback Control of Software Processes

Program Auralization (The Listen/C and JListen Projects)

(JListen 1.0 source is now available! Have fun!)
Music Composition
Mutation: Mutation operators for C (Technical report)

Last update: April 14, 2006