Selected publication since 2015 (full list): My research is in the broad areas of software engineering and
formal methods. The primary focus is to develop formal method based
tools to support the debugging, analysis and verification of complex
systems.
- Concurrent software testing
- Fault localization and defect prediction
- Software plagiarism detection
- Symbolic Execution
- GUI testing
- Software maintanance
Current Ph.D. Students:
Recent Services:
Best Paper Awards:
Visits since 8/15/2015:
|