| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aymen Kout, Fadel Touré, Mourad Badri |
An empirical analysis of a testability model for object-oriented programs.  |
ACM SIGSOFT Software Engineering Notes  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mourad Badri, Fadel Touré |
Empirical Analysis for Investigating the Effect of Control Flow Dependencies on Testability of Classes. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ghazwa Malak, Houari A. Sahraoui, Linda Badri, Mourad Badri |
Modeling web quality using a probabilistic approach: An empirical validation. |
TWEB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Badri, Mourad Badri, Fadel Touré |
Exploring Empirically the Relationship between Lack of Cohesion in Object-oriented Systems and Coupling and Size. |
ICSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Linda Badri, Mourad Badri, Fadel Touré |
Exploring Empirically the Relationship between Lack of Cohesion and Testability in Object-Oriented Systems. |
FGIT-ASEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Farid Mokhati, Mourad Badri |
Generating Maude Specifications From UML Use Case Diagrams. |
Journal of Object Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mourad Badri, Linda Badri, Fadel Touré |
Empirical Analysis of Object-Oriented Design Metrics: Towards a New Metric Using Control Flow Paths and Probabilities. |
Journal of Object Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mourad Badri, Linda Badri, Maxime Bourque-Fortin |
Automated State-Based Unit Testing for Aspect-Oriented Programs: A Supporting Framework. |
Journal of Object Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Mcheick, Mehdi Adda, Hafedh Mili, Mourad Badri |
Dynamic Object Behaviours in Separation of Concerns Based Systems. |
Software Engineering Research and Practice |
2009 |
DBLP BibTeX RDF |
|
| 1 | Patrice Gagnon, Farid Mokhati, Mourad Badri |
Applying Model Checking to Concurrent UML Models. |
Journal of Object Technology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Badri, Mourad Badri, Alioune Badara Gueye |
Revisiting Class Cohesion: An empirical investigation on several systems. |
Journal of Object Technology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Farid Mokhati, Mourad Badri, Linda Badri |
A Formal Framework Supporting the Specification of the Interactions between Agents. |
Informatica (Slovenia) |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Massicotte, Linda Badri, Mourad Badri |
Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs. |
Journal of Object Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Farid Mokhati, Patrice Gagnon, Mourad Badri |
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Farid Mokhati, Mourad Badri, Linda Badri |
A Formal Framework Supporting the Specification of the Interactions between Agents. |
Informatica (Slovenia) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Gélinas, Mourad Badri, Linda Badri |
A Cohesion Measure for Aspects. |
Journal of Object Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghazwa Malak, Houari A. Sahraoui, Linda Badri, Mourad Badri |
Modeling Web-Based Applications Quality: A Probabilistic Approach. |
WISE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Farid Mokhati, Mourad Badri, Patrice Gagnon |
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Linda Badri, Mourad Badri, Daniel St-Yves |
Supporting Predictive Change Impact Analysis: A Control Call Graph Based Technique. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Massicotte, Linda Badri, Mourad Badri |
Aspects-Classes Integration Testing Strategy: An Incremental Approach. |
RISE |
2005 |
DBLP DOI BibTeX RDF |
AOST, Verification, Interactions, Generation, Sequences, Aspects, Classes, Testing Coverage, Criteria |
| 1 | Jean-François Gélinas, Linda Badri, Mourad Badri |
Measuring Cohesion in Aspect-oriented Systems. |
IASTED Conf. on Software Engineering |
2005 |
DBLP BibTeX RDF |
|
| 1 | Linda Badri, Mourad Badri, Velou Stéphane Blé |
A Method Level Based Approach for OO Integration Testing: An Experimental Study. |
SNPD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Massicotte, Mourad Badri, Linda Badri |
Generating Aspects-Classes Integration Testing Sequences: A Collaboration Diagram Based Strategy. |
SERA |
2005 |
DBLP DOI BibTeX RDF |
Aspect-Oriented Software Testing, UML, Interactions, Sequences, Aspects, Classes, Criteria |
| 1 | Linda Badri, Mourad Badri |
A Proposal of a New Class Cohesion Criterion: An Empirical Study. |
Journal of Object Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ghazwa Malak, Linda Badri, Mourad Badri, Houari A. Sahraoui |
Towards a Multidimensional Model for Web-Based Applications Quality Assessment. |
EC-Web |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri |
Specifying DIMA Multi-agents Models Using Maude. |
PRIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mourad Badri, Linda Badri, Marius Naha |
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams. |
FATES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadir Belkhiter, Ghazwa Malak, Mourad Badri, Linda Badri |
Evaluation de la qualité des applications Web: état de l'art. |
INFORSID |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ghazwa Malak, Linda Badri, Mourad Badri, Nadir Belkhiter |
Web-based Applications Quality: Evaluation and Perspectives. |
International Conference on Internet Computing |
2002 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")