Program analysis & testing
Automate software engineering
Anything related to techniques that help programmers to build strong and effective software easily and efficiently. :)
Please refer to my publications.