Software Engineering research at Western Michigan University is focused on methods related to developing, maintaining, and testing complex software systems. Our research is motivated by practical problems and the underlying theory of problems. We use both theoretical and empirical approaches in our research.
While the main goal of our research is to ensure software quality based on methods such as dynamic testing, symbolic execution, formal verification, fault localization and defect prediction, we are also interested in other aspects such as gamification and augmented reality. Our outreach efforts include a collaboration with Fun and Good Education Inc to foster interesting and effective English learning experience.
Please contact us if you are interested in our work.