Model-Based Filtering of Combinatorial Test Suites. - Taha Triki; Yves Ledru; Lydie du Bousquet; Frédéric Dadeau; Julien Botella (FASE, 2012)

Test suite selection based on traceability annotations. - Yves Ledru; Germán Vega; Taha Triki; Lydie du Bousquet (ASE, 2012)

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. - Frédéric Dadeau; Kalou Cabrera Castillos; Yves Ledru; Taha Triki; Germán Vega; Julien Botella; Safouan Taha (ICST, 2013)

Filtering and reduction techniques of combinatorial tests. (Filtrage et réduction de tests combinatoires). - Taha Triki (2013)