About the Group
The SQR Group ("Square" 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: active testing of concurrent software, empirical comparison of bug detection techniques for concurrent software, visualization of thread interleavings.
