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

researchr

You are not signed in
Sign in
Sign up

Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Luxembourg, Luxembourg, March 18-22, 2013. pages 431-438, IEEE, 2013. [doi]

This author has not been identified. Look up 'Frédéric Dadeau' in GoogleThis author has not been identified. Look up 'Kalou Cabrera Castillos' in GoogleThis author has not been identified. Look up 'Yves Ledru' in GoogleThis author has not been identified. Look up 'Taha Triki' in GoogleThis author has not been identified. Look up 'Germán Vega' in GoogleThis author has not been identified. Look up 'Julien Botella' in GoogleThis author has not been identified. Look up 'Safouan Taha' in Google

runs on WebDSL