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: Hallal:Hesham
Contributed to:
20102003Wrote 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.