Defect Detection: Detection of hard to test defects using program analysis techniques 

There is a large class of defects which are impossible to be found out through testing or the cost involved is formidably high.  While the example of first category is possibility of deadlock scenarios in concurrent systems (like in embedded domain), the example of second category is violation of some domain specific property. Program analysis techniques can be used to detect such kind of errors. Our focus is to detect both kind of errors.

Even for errors which could be detected through proper testing, the process can be expedited by an order of magnitude by generating test cases with the help of program analysis techniques.

Scalability with Preciseness : Creating program analysis based solutions which are scalable to real life size source code and deliver precise result as well

Program analysis techniques have found acclaims worldwide as a potential vehicle to solve teething problems in the area of software engineering. However, there is hard fact also that this potential is still to be realized by industry at large. The reason has been either the solutions do not scale to the real life software size or the results provided have so much impreciseness that solutions loose their credibility. 

Our effort is to come up with techniques and processes by which solutions created based upon program analysis can be applied to industry strength source code. At the same time results delivered should be effective with almost no imprecise results.