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.