12th TAROT Summer School 2016 on Software Testing, Verification & Validation