CS 272 - Software Engineering

Research Project Ideas

---

Here are some research project ideas:

• Comparison of a software model checker (such as JPF) and a testing tool (such as Jemmy) for GUI testing.
• Modular verification using interface grammars. Multiple projects are possible on this topic:
  • Extending interface grammars for GUI testing
  • Extending interface grammars for testing distributed programs.
  • Looking for restricted interface grammars that lead to efficient verification.
  • Interface grammars for Web services.
• Size analysis for programs using infinite state model checking. The basic idea is to check properties relating to sizes of collections using infinite state model checking. Multiple projects are possible on this topic:
  • Size analysis for JML.
  • Size analysis in programs for strings or arrays.
• Comparing performance of Alloy analyzer and Action Language Verifier for verification of numeric properties.
• Design for verification for Web services. This will involve extending the design for verification framework for verification of Web services.