Jinseong Jeon

Graduation Year: 
2016
Dissertation: 
Framework Synthesis for Symbolic Execution of Event-Driven Frameworks
Advisor: