Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool.

Frdric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germn Vega, Julien Botella, Safouan Taha

Browse the full ICST paper archive.