Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool | IEEE Conference Publication | IEEE Xplore