Scenario Based Test Generation Using Test Designer. - Kalou Cabrera Castillos; Julien Botella (ICST Workshops, 2011)

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand; Safouan Taha (ICTSS, 2011)

Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand (Int. J. Softw. Tools Technol. Transf., 2011)

Scenario-based testing using symbolic animation of B models. - Frédéric Dadeau; Kalou Cabrera Castillos; Régis Tissot (Softw. Test. Verification Reliab., 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)

A Compositional Automata-Based Semantics for Property Patterns. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand; Bilal Kanso; Safouan Taha (IFM, 2013)

Ge'ne'ration automatique de sce'narios de tests à partir de proprie'te's temporelles et de modèles comportementaux. (Automated test scenario generation from termporal properties and behavioural models). - Kalou Cabrera Castillos (2013)

Coverage Criteria for Model-Based Testing using Property Patterns. - Kalou Cabrera Castillos; Frédéric Dadeau; Jacques Julliand (MBT, 2014)

Évaluation de la couverture d'une suite de tests dans le cadre du projet TASCCC. - Kalou Cabrera Castillos (Tech. Sci. Informatiques, 2014)

Show Me New Counterexamples: A Path-Based Approach. - Kalou Cabrera Castillos; Hélène Waeselynck; Virginie Wiels (ICST, 2015)

A compositional automata-based semantics and preserving transformation rules for testing property patterns. - Safouan Taha; Jacques Julliand; Frédéric Dadeau; Kalou Cabrera Castillos; Bilal Kanso (Formal Aspects Comput., 2015)

Tuning Permissiveness of Active Safety Monitors for Autonomous Systems. - Lola Masson; Jérémie Guiochet; Hélène Waeselynck; Kalou Cabrera; Sofia Cassel; Martin Törngren (NFM, 2018)

Burst c-VEP Based BCI: Optimizing stimulus design for enhanced classification with minimal calibration data and improved user experience. - Kalou Cabrera Castillos; Simon Ladouce; Ludovic Darmet; Frédéric Dehais (NeuroImage, 2023)