About me
I am currently a Software Engineer at Google's Safe Browsing Team.
I received my PhD degree from Georgia Tech on August 2015. I worked with Professor Alessandro Orso in School of Computer Science, College of Computing, Georgia Institute of Technology during my study. My research focuses on providing automated support for reproducing and debugging field failures.
Before I came to Georgia Tech, I received my bachelor degree in computer software (2006) and master degree (2008) in computer science and technology from Tsinghua University, China.
Research Interests
Software Engineering and Programming Language
Software Debugging
Program Analysis and Symbolic Model Checking
Software Security
Projects
BugRedux: BugRedux is a general framework for supporting in-house debugging of field failures. BugRedux synthesizes, using execution data collected in the field, executions that mimic the observed field failures. Our approach is based on guided symbolic execution. (ICSE2012)
F3: F3(Fault localization for Field Failures) is a framework in which we extended our previous technique, BugRedux,with automated debugging capabilities and can help developers not only recreate, but also debug these failures. (ISSTA2013)
BERT: BERT is a behavioral regression testing tool for helping developers identify regression faults in evolving Java programs. (ICST2010)
Nionka: Nionka is an execution hijacking tool that explores a larger set of program behaviors using original testing inputs by forcing executions along specific paths. (ICST2011)
Publications
"MIMIC: Locating and Understanding Bugs by Analyzing Mimicked Executions", D. Zuddas, W. Jin, F. Pastore, L. Mariani and A. Orso on Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
"Reproducing Field Failures for Programs with Complex Grammar-Based Input", F. Meshesha Kifetew, W. Jin, R. Tiella, A. Orso, and P. Tonella on Proceedings of the 7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014)
"SBFR: A Search Based Approach for Reproducing Failures of Programs with Grammar Based Input", F. Meshesha Kifetew, W. Jin, R. Tiella, A. Orso, and P. Tonella on Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) -- New idea paper
"F3: Fault localization for Field Failures", W. Jin and A. Orso on the 2013 International Symposium on Software Testing and Analysis (ISSTA 2013) ACM DL link
"Reproducing and Debugging Field Failures in House", W. Jin, ACM Student Research Competition at ICSE 2013. preprint version -- Won the Second Place in Graduate Category.
"BugRedux: Reproducing Field Failures for In-house Debugging", W. Jin and A. Orso on Proceedings of the 34th IEEE and ACM SIGSOFT International Conference on Software Engineering (ICSE 2012). techical report version
"Execution Hijacking: Improving Dynamic Analysis by Flying off Course", P. Tsankov, W. Jin, A. Orso, and S. Sinha on Proceedings of the 4th IEEE International Conference on Software Testing, Verification and Validation (ICST 2011).
"Platform Support for Developing Testing and Analysis Plug-ins", S. Roy Choudhary, J. Duvall, W. Jin, D. Zhao, and A. Orso on 1st International Workshop on developing Tools as Plug-ins (TOPI 2011).
"BERT: A Tool for Behavioral Regression Testing", W. Jin, A. Orso, and T. Xie on Proceedings of the 18th European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2010) -- Formal research demonstration.
"Automated Behavioral Regression Testing", W. Jin, A. Orso, and T. Xie on Proceedings of the 3rd IEEE International Conference on Software Testing, Verification and Validation (ICST 2010).
Contacts
Email: weijin at gatech dot edu