Best Paper Prize (student) Software Testing Verification and Validation Workshop, 2010