Kalou Cabrera Castillos

According to our database, Kalou Cabrera Castillos authored at least 13 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, December, 2023

2018

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

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

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

Show Me New Counterexamples: A Path-Based Approach.

Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

Évaluation de la couverture d'une suite de tests dans le cadre du projet TASCCC.

Kalou Cabrera Castillos

Tech. Sci. Informatiques, 2014

Coverage Criteria for Model-Based Testing using Property Patterns.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand

Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

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

PhD thesis, 2013

A Compositional Automata-Based Semantics for Property Patterns.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

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

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Scenario-based testing using symbolic animation of B models.

Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot

Softw. Test. Verification Reliab., 2012

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

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha

Proceedings of the Testing Software and Systems, 2011

Scenario Based Test Generation Using Test Designer.

Kalou Cabrera Castillos, Julien Botella

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011