Software engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software. Our broad research interest in this field is on programmer productivity with a special focus on software quality assurance. We develop practical techniques and tools to help programmers create cheaper, faster, and more reliable software systems. The topics we study include, but not limited to:
- Combinatorial Interaction Testing
- Model-based Testing
- Automated Debugging
- Dynamic Program Analysis
- Data-Driven Program Analysis
- Software Security
Further Information