BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × France
1 × Germany
1 × Luxembourg
Collaborated with:
B.Kanso F.Dadeau K.C.Castillos J.Julliand Y.Ledru T.Triki G.Vega J.Botella
Talks about:
properti (4) test (4) evalu (3) ocl (3) tempor (2) base (2) constraint (1) criteria (1) composit (1) automata (1)

Person: Safouan Taha

DBLP DBLP: Taha:Safouan

Contributed to:

ICST 20132013
IFM 20132013
SLE 20122012
SCP, 20142014
ICTSS 20112011

Wrote 5 papers:

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.
SLE-2012-KansoT #constraints #ocl
Temporal Constraint Support for OCL (BK, ST), pp. 83–103.
SLE-J-2012-KansoT #ocl #specification
Specification of temporal properties with OCL (BK, ST), pp. 527–551.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.