Skip Ribbon Commands
Skip to main content
   YU Faculty Websites>>  Dr. Ahmad Saifan Sign In
Use SHIFT+ENTER to open the menu (new window).
A Framework for Monitoring the Execution of Distributed  Multi-agent ProgramsE. Al Maghayreh, S. Samarah and F. Alkhateeb, Iyad Abu Doush, Izzat Alsmadi and Ahmad SaifanInternational Journal of Advanced Science and Technology vol. 38, (2012), pp. 53- 66.2012
Selecting a standard set of attributes for cost estimation of software projectsAl Khalidi, N.; Ahmad Saifan; Izzat AlsmadiComputer, Information and Telecommunication Systems (CITS)pp.1-5,2012
Mutation operators for JADE mobile agent systems Ahmad Saifan and H. A. Wahsheh. In International Conference on Information and Communication Systems (ICICS)2012
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems ahmad Saifan; Dingel, J.; Bradbury, J.S.; Posse, ESoftware Testing, Verification and Validation (ICST),  2011 IEEE Fourth International Conference2692011
Model Checking based Classification Technique for Wireless Sensor NetworksSamer Samarah, Mohammed Al-Zamil, and Ahmad A. SaifanThe New Review of Information NetworkingVol 17, issue 2, pp. 93-1072012
Dispersion Based Predication Framework for Estimating Missing Values in Wireless Sensor NetworksMohammed AL-Zamil, Samer Samarah, Ahmad Saifan, and Izzat AL SmadiInternational Journal of Sensor NetworksVol 12, issue 3, pp: 149-1592012
Automatic model based methods to improve test effectivenesszzat Alsmadi, Samer Samarah, Ahmad Saifan, Mohammed G AL ZamilUniversal Journal of Computer Science and Engineering Technology1(1) 41-492010
Evaluate and Improve GUI Testing Coverage AutomaticallyIzzat Alsmadi, Samer Samarah, Ahmad Saifan, Mohammed AL Zamil IJSE2011
Traceability between Code and Design Documentation in Database Management Systems: A Case StudyAkour, M., Ahmad A. Saifan, and Ratha'an OThe International Arab Journal of Information Technology (IAJIT)15 No 52018
Test Case Reduction using Data Mining TechniqueAhmad A. Saifan, Emad Alsukhni, Hanadi Alawneh, Ayat Al-SbaihInternational Journal of Software Innovation$ No 42016
Regression Test-Selection Technique Using Component Model Based Modification: Code to Test TraceabilityAhmad A. Saifan, Akour M., Alazzam, I., Hanandeh F. International Journal of Advanced Computer Science and Applications 7(4) 90-952016
Using Formal Methods For Test Case Generation According To Transition-Based Coverage CriteriaAhmad A. Saifan and Wafa Bani MustafaJordanian Journal of Computers and Information Technology1(1)2015
Comparison between Ad-hoc Retrieval and Filtering Retrieval Using Arabic DocumentsGhassan Kanaan, Riyad Al-Shalabi, Mohammed G. Al-Zamil, Ahmad A. SaifanInt. J. Comput. Proc. Oriental Lang17(3)2004
Model-based testing of distributed systemsAhmad A. Saifan and Juergen DingelTechnical Report 2008-548, School of Computing, Queen's University2008-548Queen's University2008