Kalou Cabrera Castillos

13 papers A 2B 2C 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
Pre-Decision Feedback in Code-Modulated Visual Evoked Potentials Brain-Computer Interface for an 11-class Keypad Typing Task.
SMC
J. Gomel, Juan Jesús Torre Tresols, P. Cimarosto, Kalou Cabrera Castillos, Frédéric Dehais
2023 J jnl
Burst c-VEP Based BCI: Optimizing stimulus design for enhanced classification with minimal calibration data and improved user experience.
NeuroImage
Kalou Cabrera Castillos, Simon Ladouce, Ludovic Darmet, Frédéric Dehais
2015 J jnl
A compositional automata-based semantics and preserving transformation rules for testing property patterns.
Formal Aspects Comput.
Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso
2015 A conf
Show Me New Counterexamples: A Path-Based Approach.
ICST
Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels
2014 — conf
Coverage Criteria for Model-Based Testing using Property Patterns.
MBT
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
2014 J jnl
Évaluation de la couverture d'une suite de tests dans le cadre du projet TASCCC.
Tech. Sci. Informatiques
Kalou Cabrera Castillos
2013 B conf
A Compositional Automata-Based Semantics for Property Patterns.
IFM
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha
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 A conf
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool.
ICST
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha
2012 J jnl
Scenario-based testing using symbolic animation of B models.
Softw. Test. Verification Reliab.
Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot
2011 C conf
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests.
ICTSS
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
2011 — conf
Scenario Based Test Generation Using Test Designer.
ICST Workshops
Kalou Cabrera Castillos, Julien Botella
2011 J jnl
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance.
Int. J. Softw. Tools Technol. Transf.
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand