A
Research Interests
Fault Localization
Live Programming
Mutation Testing
Program Synthesis and Repair
Specification Engineering
Software Testing and Debugging Techniques
Software Engineering Research
Software System Performance and Reliability
Software Reliability and Analysis Research
Model-Driven Software Engineering Techniques