Jinseong Jeon

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