| 2008 |
|---|
| 22 | | Linda Badri,
Mourad Badri,
Daniel St-Yves:
Predicting Change Propagation in Object-oriented Systems: a Control-call Path Based Approach and Associated Tool.
SEKE 2008: 103-110 |
| 21 | EE | Farid Mokhati,
Mourad Badri,
Linda Badri,
Fathi Hamidane,
Sofiane Bouazdia:
Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols.
IJAOSE 2(4): 422-448 (2008) |
| 20 | EE | Noura Boudiaf,
Farid Mokhati,
Mourad Badri:
Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking.
International Journal of Software Engineering and Knowledge Engineering 18(7): 853-875 (2008) |
| 2007 |
|---|
| 19 | EE | Farid Mokhati,
Patrice Gagnon,
Mourad Badri:
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach.
QSIC 2007: 356-362 |
| 18 | EE | Philippe Massicotte,
Linda Badri,
Mourad Badri:
Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs.
Journal of Object Technology 6(1): (2007) |
| 17 | EE | Farid Mokhati,
Noura Boudiaf,
Mourad Badri,
Linda Badri:
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols.
Journal of Object Technology 6(4): (2007) |
| 2006 |
|---|
| 16 | | Farid Mokhati,
Mourad Badri,
Patrice Gagnon:
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach.
SEKE 2006: 572-577 |
| 15 | EE | Ghazwa Malak,
Houari A. Sahraoui,
Linda Badri,
Mourad Badri:
Modeling Web-Based Applications Quality: A Probabilistic Approach.
WISE 2006: 398-404 |
| 14 | EE | Jean-François Gélinas,
Mourad Badri,
Linda Badri:
A Cohesion Measure for Aspects.
Journal of Object Technology 5(7): (2006) |
| 2005 |
|---|
| 13 | EE | Linda Badri,
Mourad Badri,
Daniel St-Yves:
Supporting Predictive Change Impact Analysis: A Control Call Graph Based Technique.
APSEC 2005: 167-175 |
| 12 | | Jean-François Gélinas,
Linda Badri,
Mourad Badri:
Measuring Cohesion in Aspect-oriented Systems.
IASTED Conf. on Software Engineering 2005: 343-348 |
| 11 | EE | Philippe Massicotte,
Linda Badri,
Mourad Badri:
Aspects-Classes Integration Testing Strategy: An Incremental Approach.
RISE 2005: 158-173 |
| 10 | EE | Philippe Massicotte,
Mourad Badri,
Linda Badri:
Generating Aspects-Classes Integration Testing Sequences: A Collaboration Diagram Based Strategy.
SERA 2005: 30-39 |
| 9 | EE | Linda Badri,
Mourad Badri,
Velou Stéphane Blé:
A Method Level Based Approach for OO Integration Testing: An Experimental Study.
SNPD 2005: 102-109 |
| 2004 |
|---|
| 8 | EE | Ghazwa Malak,
Linda Badri,
Mourad Badri,
Houari A. Sahraoui:
Towards a Multidimensional Model for Web-Based Applications Quality Assessment.
EC-Web 2004: 316-327 |
| 7 | | Linda Badri,
Mourad Badri,
Velou Stéphane Blé:
Object-oriented integration testing: A method level based approach.
IASTED Conf. on Software Engineering and Applications 2004: 324-330 |
| 6 | | F. Tessier,
Mourad Badri,
Linda Badri:
An early detection of semantic conflicts between aspects: A model analysis based technique.
IASTED Conf. on Software Engineering and Applications 2004: 623-628 |
| 5 | EE | Noura Boudiaf,
Farid Mokhati,
Mourad Badri,
Linda Badri:
Specifying DIMA Multi-agents Models Using Maude.
PRIMA 2004: 29-42 |
| 4 | EE | Linda Badri,
Mourad Badri:
A Proposal of a New Class Cohesion Criterion: An Empirical Study.
Journal of Object Technology 3(4): 145-159 (2004) |
| 2003 |
|---|
| 3 | EE | Mourad Badri,
Linda Badri,
Marius Naha:
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams.
FATES 2003: 223-235 |
| 2002 |
|---|
| 2 | | Nadir Belkhiter,
Ghazwa Malak,
Mourad Badri,
Linda Badri:
Evaluation de la qualité des applications Web: état de l'art.
INFORSID 2002: 107-122 |
| 1 | | Ghazwa Malak,
Linda Badri,
Mourad Badri,
Nadir Belkhiter:
Web-based Applications Quality: Evaluation and Perspectives.
International Conference on Internet Computing 2002: 939-946 |
