Hesham Hallal

From Scenarios to Test Implementations Via Promela

Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, 2010, ICTSS.

Inferring Behavioural Models from Traces of Business Applications

Alexandre Petrenko, Hesham Hallal, Arnaud Dury, 2009, 2009 IEEE International Conference on Web Services.

Web-FIM: Automated Framework for the Inference of Business Software Models

Alexandre Petrenko, Hesham Hallal, Arnaud Dury, 2009, 2009 Congress on Services - I.

Formal Modeling of Communication Traces

Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2003, ISTA.

A formal approach to property testing in causally consistent distributed traces

Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2006, Formal Aspects of Computing.

Dynamic analysis of java applications for multithreaded antipatterns

Alexandre Petrenko, Hesham Hallal, Sergiy Boroday, 2005, ACM SIGSOFT Softw. Eng. Notes.

Antipattern-based detection of deficiencies in Java multithreaded software

Alexandre Petrenko, El Hachemi Alikacem, Hesham Hallal, 2004, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings..

An Automata-Based Approach to Property Testing in Event Traces

Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2003, TestCom.