BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Russia
1 × The Netherlands
Collaborated with:
C.Viho M.Zendri
Talks about:
test (3) protocol (2) industri (1) communic (1) hardwar (1) generat (1) conform (1) automat (1) experi (1) execut (1)

Person: Hakim Kahlouche

DBLP DBLP: Kahlouche:Hakim

Contributed to:

TACAS 19991999
IWTCS 19981998

Wrote 2 papers:

TACAS-1999-KahloucheVZ #communication #consistency #hardware #protocol #testing #using
Hardware Testing Using a Communication Protocol Conformance Testing Tool (HK, CV, MZ), pp. 315–329.
IWTCS-1998-KahloucheVZ #automation #empirical #execution #generative #industrial #protocol #testing
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol (HK, CV, MZ), pp. 211–226.

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.