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 × Brazil
1 × France
Collaborated with:
A.Ulrich S.Boroday E.H.Alikacem A.Petrenko
Talks about:
test (2) implement (1) scenario (1) properti (1) automata (1) approach (1) promela (1) trace (1) event (1) base (1)

Person: Hesham Hallal

DBLP DBLP: Hallal:Hesham

Contributed to:

ICTSS 20102010
TestCom 20032003

Wrote 2 papers:

ICTSS-2010-UlrichAHB #implementation
From Scenarios to Test Implementations Via Promela (AU, EHA, HH, SB), pp. 236–249.
TestCom-2003-HallalBUP #approach #testing
An Automata-Based Approach to Property Testing in Event Traces (HH, SB, AU, AP), pp. 180–196.

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.