Our main research interests are in automated software testing. We want to make
testing and debugging techniques more accurate and efficient. Our group develops novel techniques and tools
that give more useful output to the user and perform better on production-scale software.