Our approach is to first detect bugs statically, i.e., without executing the program. In the Test effectiveness area, our goal is to improve Test's ability to make in-line adjustments to the testing process. We are taking a repository based approach to collect program execution and other reference information and then apply advanced analysis techniques to guide test in prioritizing testing. We are a group of researchers who are focused on taking new or under-recognized ideas and turning them into useful tools that improve programmers' productivity. We are looking at a broad range of application domains and tools, since no single tool or technique will make programming a trivial exercise.
Software is humankind's most complex artifact.
As in most endeavors, the appropriate tool magnifies human creativity and imagination and makes the impossible possible. We evaluate and license third-party tools and technology designed to increase code quality and developer productivity.