| Mutation operators for JADE mobile agent systems | Ahmad A Saifan, Heider A Wahsheh | | | |
| Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems | Ahmad A Saifan, Juergen Dingel, Jeremy S Bradbury, Ernesto Posse | | | |
| Test Case Reduction using Data Mining Classifier Techniques | Ahmad A. Saifan | | | |
| Selecting a Standard Set of Attributes for Cost Estimation of Software Projects | Nesreen Al-Khalidi, Ahmad A. Saifan and Izzat Alsmadi | | | |
| Run-time conformance checking of mobile and distributed systems using executable models | Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel | | | |
| A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems. | Ahmad A. Saifan, Jürgen Dingel | | | |