Hi, I'm blueshirt, a master candidate from Central China Normal University. My main interests are Formal Methods and Software Testing. 

You're welcome here and to communicate with me!