We perform research in a variety of Software Engineering areas, including:

• Verification and validation
• Interface-based system testing
• Automatic test data generation
• Software maintainability
• Requirements tracing via information Retreival