.jpg)
About the Group
The Software Quality Research Group focuses on software quality of concurrent and distributed systems. In particular we are interested in:
- using experimentation and visualization to better understand the trade-offs between testing, model checking and static analysis
- the development of new software quality assurance techniques for testing and analyzing concurrent and distributed systems
- mutation testing for concurrent and distributed systems
Current active projects include: regression testing concurrent software, empirical comparison of bug detection techniques for concurrent software, visualization of mutation testing data.
