Author/Creator: Badri, Mourad - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Badri, Mourad

1. Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. (2nd September 2008)

Authors:: Mokhati, Farid; Badri, Mourad; Badri, Linda; Hamidane, Fathi; , Sofiane Bouazdia
Journal:: International journal of agent-oriented software engineering
Issue:: Volume 2:Number 4(2008)
Page Start:: 422
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Evaluating the Effect of Control Flow on the Unit Testing Effort of Classes: An Empirical Analysis. (14th June 2012)

Authors:: Badri, Mourad; Toure, Fadel
Other Names:: Lanubile Filippo Academic Editor.
Journal:: Advances in software engineering
Issue:: Volume 2012(2012)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Regression Test Reduction for Object-Oriented Software: A Control Call Graph Based Technique and Associated Tool. (11th April 2013)

Authors:: Frechette, Nicolas; Badri, Linda; Badri, Mourad
Other Names:: Framling K. Academic Editor.; Ipate F. Academic Editor.; Shukla S. K. Academic Editor.
Journal:: ISRN software engineering
Issue:: Volume 2013(2013)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Testing HMAS-based applications: An ASPECS-based approach. (November 2015)

Authors:: Dehimi, Nour El Houda; Mokhati, Farid; Badri, Mourad
Journal:: Engineering applications of artificial intelligence
Issue:: Volume 46:Part A(2015:Oct.)
Page Start:: 232
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗