refined Validation of QuerySpec Model and EasyB Specification Test Cases