Kin Keung Ma

Graduation Year: 
2011
Dissertation: 
Improving Program Testing and Understanding via Symbolic Execution
Advisor: