Research Project

• Chris Coakley and Christo Wilson: Automated testing of Web applications based on grammars for Web page traversal.
• Chris Ferguson, Muath Alkhalaf, Mark Wiley: Dynamic monitoring of Web service interactions.
• Anders Hangeland and Gargi Shah: Comparison of the model checking tool JPF and the testing tool Jemmy for GUI testing.
• Elliot Barlas: A verification environment for distributed Java applications based on JPF.
• Fang Yu, Marco Cova: Automated string analysis with size.
• Ting Lei: Automated test case generation for geographic Web services.

Case Study

• Amir N. Nashat: JUnit/Fitnesse case study to determine their effectiveness in the development of dependable e-commerce applications.

Survey

• Mohit Tiwari: Hardware support for dynamic atomicity checking.
• Kerby Johnson: Survey on Automatic Testing for Java Programs.