Travelled to:1 × Austria
1 × Finland
1 × France
1 × Luxembourg
Collaborated with:F.Dadeau S.Taha J.Julliand H.Waeselynck V.Wiels B.Kanso Y.Ledru T.Triki G.Vega J.Botella
Talks about:test (4) properti (3) evalu (3) base (3) counterexampl (1) criteria (1) composit (1) automata (1) approach (1) pattern (1)
Person: Kalou Cabrera Castillos
DBLP: Castillos:Kalou_Cabrera
Contributed to:
20152013
2013
2011Wrote 4 papers:
- ICST-2015-CastillosWW #approach
- Show Me New Counterexamples: A Path-Based Approach (KCC, HW, VW), pp. 1–10.
- ICST-2013-DadeauCLTVBT #evaluation #generative #testing
- Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations — The TASCCC Testing Tool (FD, KCC, YL, TT, GV, JB, ST), pp. 431–438.
- IFM-2013-CastillosDJKT #composition #semantics
- A Compositional Automata-Based Semantics for Property Patterns (KCC, FD, JJ, BK, ST), pp. 316–330.
- ICTSS-2011-CastillosDJT #modelling #ocl #testing #uml
- Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests (KCC, FD, JJ, ST), pp. 32–47.