I am a M.Sc. in Computer Science and Technology, Xiamen University. My research interests include software testing and program analysis.