Kalou Cabrera Castillos

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 3

Top Venues

ICST

Formal Aspects Comput.

NeuroImage

MBT

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

Kalou Cabrera Castillos, Simon Ladouce, Ludovic Darmet, Frédéric Dehais
Burst c-VEP Based BCI: Optimizing stimulus design for enhanced classification with minimal calibration data and improved user experience. NeuroImage 284 (2023)
Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels
Show Me New Counterexamples: A Path-Based Approach. ICST (2015)
Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso
A compositional automata-based semantics and preserving transformation rules for testing property patterns. Formal Aspects Comput. 27 (4) (2015)
Kalou Cabrera Castillos
Évaluation de la couverture d'une suite de tests dans le cadre du projet TASCCC. Tech. Sci. Informatiques 33 (3) (2014)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
Coverage Criteria for Model-Based Testing using Property Patterns. MBT (2014)
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. ICST (2013)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha
A Compositional Automata-Based Semantics for Property Patterns. IFM (2013)
Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot
Scenario-based testing using symbolic animation of B models. Softw. Test. Verification Reliab. 22 (6) (2012)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. Int. J. Softw. Tools Technol. Transf. 13 (5) (2011)
Kalou Cabrera Castillos, Julien Botella
Scenario Based Test Generation Using Test Designer. ICST Workshops (2011)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS (2011)

Kalou Cabrera Castillos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kalou Cabrera Castillos