default search action

combined dblp search
author search
venue search
publication search

ask others

Kalou Cabrera Castillos

Kalou Cabrera

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2013
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - details & citations
- export record
  dblp key:
  - phd/hal/CabreraCastillos13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/CabreraCastillos13
Kalou Cabrera Castillos:
Ge'ne'ration automatique de sce'narios de tests à partir de proprie'te's temporelles et de modèles comportementaux. (Automated test scenario generation from termporal properties and behavioural models). University of Franche-Comté, Besançon, France, 2013

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/neuroimage/CastillosLDD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/neuroimage/CastillosLDD23
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: 120446 (2023)
2015
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/TahaJDCK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/TahaJDCK15
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): 641-664 (2015)
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/Castillos14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/Castillos14
Kalou Cabrera Castillos:
Évaluation de la couverture d'une suite de tests dans le cadre du projet TASCCC. Tech. Sci. Informatiques 33(3): 231-256 (2014)
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/DadeauCT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/DadeauCT12
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): 407-434 (2012)
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CastillosDJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CastillosDJ11
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): 431-448 (2011)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MassonGWCCT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MassonGWCCT18
Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren:
Tuning Permissiveness of Active Safety Monitors for Autonomous Systems. NFM 2018: 333-348
2015
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/CastillosWW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/CastillosWW15
Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels:
Show Me New Counterexamples: A Path-Based Approach. ICST 2015: 1-10
2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CastillosDJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CastillosDJ14
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand:
Coverage Criteria for Model-Based Testing using Property Patterns. MBT 2014: 29-43
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/DadeauCLTVBT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/DadeauCLTVBT13
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: 431-438
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/CastillosDJKT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/CastillosDJKT13
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha:
A Compositional Automata-Based Semantics for Property Patterns. IFM 2013: 316-330
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/CastillosB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/CastillosB11
Kalou Cabrera Castillos, Julien Botella:
Scenario Based Test Generation Using Test Designer. ICST Workshops 2011: 79-88
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/pts/CastillosDJT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/CastillosDJT11
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha:
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS 2011: 32-47

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.