Students

S01: Haghighi, Hassan. - NCZ: Non-deterministic Constructive Z

Start Date: 1381/11/01, Proposal Date: 1384/09/30, Viva Date: 1387/11/27

http://sbu.ac.ir/Pages/Profiles.aspx?proffID=388016

 

S02: Jahangard-Rafsanjani, Amir. - A Unified Approach to Semi-Structured Database Design

Start Date: 1385/07/01, Proposal Date: 1388/06/10, Viva Date: 1393/08/21

http://jahangard.ir/

 

S03: Keramati, Hossein. - Software Testing Based on Input Grammars with Semantics

Start Date: 1388/07/01, Proposal Date: 1390/12/03, Viva Date: 1394/08/11

 

S04: Tanhaei, Mohammad. - A Framework for Refactoring of Software Architecture in Product Line Development

Start Date: 1389/07/01, Proposal Date: 1392/03/08, Viva Date: 1395/09/17

http://www.tanhaei.com/

Supervisor: Dr. Jafar Habibi

 

S05: Mahdieh, Mostafa. - Software Test Case Prioritization Based on Bug History

Start Date: 1392/11/01, Proposal Date: 1396/02/26, Viva Date: 1400/12/11

 

S06: Rivadeh, Mehran. - Testing Service Oriented Systems Using Formal Model of Workflow Patterns

Start Date: 1394/07/01, Proposal Date: 1396/11/02, Viva Date: 1402/02/05

 

S07: Habibi, Elahe. - Automatic Generation of On-demand Tset as a Web Service(OTaaWS) For Web-Based Service-Oriented Applications

Start Date: 1395/07/01, Proposal Date: 1397/05/28, Viva Date: 1400/12/21

 

S08: Jalali-Nadoshani, Sajad. - Test Coverage Criteria in Actor Based Programs

Start Date: 1396/07/01, Proposal Date: 1399/07/01, Viva Date: ?

 

S09: Aghakasiri, Zahra. - Process Improvement: A Pattern based Approach

Start Date: 1396/07/01, Proposal Date: 1398/11/12, Viva Date: ?

 

S10: Aghamohammadi, Alireza. - A Probabilistic Approach to Assessing Test Suite Effectiveness

Start Date: 1397/07/01, Proposal Date: 1399/11/05, Viva Date: 1401/05/11

 

S11: Dadbakhsh, Mehdi. - Not Yet Defined

Start Date: 1399/07/01, Proposal Date: ?, Viva Date: ?

 

K1: Mafi, Zohre. - Test Case Selection in Evolutionary Software Development

Start Date: 1392/07/01, Proposal Date: 1395/10/26, Viva Date: ?

 

A1: Ajoudanian, Shohreh. - Automatic Analysis of Formalized Software Product Line Using Extended Feature Models

Start Date: 1388/11/01, Proposal Date: 1390/10/01, Viva Date: 1393/11/29

http://shohrehajoudanian.ir/index.html

CoSupervisor: Dr Movaghar

 

A2: Nooraei-Abadeh, Maryam. - A Model Driven Approach to Automate Software Regression Testing Using Incremental Model Transformation

Start Date: 1388/11/01, Proposal Date: 1390/11/20, Viva Date: 1394/11/26

CoSupervisor: Dr Movaghar

 

Create Date: 1379/11/01(Jan. 2001),

Update Date: 1402/04/17(July 2023).

 

1: Taghani,  Kambiz. - Formal Extension of UML Modeling Language,

Start:Mehr 1377(Oct 1998), End:Mehr 1378(Oct 1999),  Paper(1)

Examiners: Internal(Dr. Movaghar), External(Dr. Sharifi)

 

2: Rahmati,  Behrouz. - Automatic Mapping of an Object Oriented Model to a Relational Database Model,

Start:Mehr 1378(Oct 1999), End:Mehr 1379(Oct 2000),  Paper(1)

Examiners: Internal(Dr. Jalili), External(Dr. Roohani)

 

3: Jalali,  Arash. - Translation of CZ set theory into Martin-Lof theory of types and its implementation,

Start:Mehr 1378(Oct 1999), End:Aban 1379(Nov 2000),   

Examiners: Internal(Dr. Movaghar), External(Dr. Ardeshir)

 

4: Foladgar,  Mahdi. - Formal Specification of a Firewall,

Start:Mehr 1378(Oct 1999), End:Esfand 1379(March 2001),   

Examiners: Internal(Dr. Jalili), External(Dr. Bakhtiari)

 

5: Mousavi,  Seyyed-Mohammad-Reza. - Nondeterminisim in Set Theoretical Formal Specification: A Constructive Approach,

Start:Mehr 1379(Oct 2000), End:Mehr 1380(Oct 2001),  Paper(1)

Examiners: Internal(Dr. Movaghar), External(Dr. Ardeshir)

 

6: Hashemian,  Seyyed-Vahid. - Formal Specification of Probabilistic Systems,

Start:Mehr 1380(Oct 2001), End:Mordad 81(Oct 2002),  Paper(1)

Examiners: Internal(Dr. Toserkani), External(Dr. Daneshgar)

 

7: Haghighi,  Hassan. - Translating Object Oriented Queries into Relational Queries,

Start:Mehr 1380(Oct 2001), End:Aban 1381(Nov 2002),  Paper(1)

Examiners: Internal(Dr. Jalili), External(Dr. Roohani)

 

8: Roohi,  Ali-Reza. - A Case Study in Formal Specification ( Intelligent Student Registration Database System),

Start:Mehr 1381(Oct 2002), End:Khordad 1383(June 2004),  Paper(1)

Examiners: Internal(Dr. Movaghar), External(Dr. Isazadeh)

 

9: Mesdaghinia,  Salar. - Adaptive Architectures: An Approach for Behavior Dynamism,

Start:Mehr 1382(Oct 2003), End:Bahman 1383(Jan 2005),  Paper(1)

Examiners: Internal(Dr. Jalili), External(Dr. Shams)

 

10: Roozbehani,  Amin. - Database Design Evaluation based on Relational Data Model,

Start:Mehr 1382(Oct 2003), End:Bahman 1383(Jan 2005),  Paper(2)

Examiners: Internal(Dr. Jalili), External(Dr. Roohani)

 

11: Yousefsanati,  Morteza. - Work Flow Engine Design: A Family Based Approach,

Start:Mehr 1382(Oct 2003), End:Bahman 1383(Jan 2005),  Paper(1)

Examiners: Internal(Dr. Habibi), External(Dr. Sharifi)

 

12: Makarem,  Mohammad-Sadegh. - Formal Specification and Verification of Software Architecture Properties,

Start:Mehr 1383(Oct 2004), End:Dey 1384(Jan 2006),  Paper(1)

Examiners: Internal(Dr. Jalili), External(Dr. S. Jalili)

 

13: Jahangard-Rafsanjani,  Amir. - Mapping Between Relational Database Schemas and XML Schemas,

Start:Mehr 1383(Oct 2004), End:Dey 1384(Jan 2006),  Paper(1)

Examiners: Internal(Dr. Habibi), External(Dr. Roohani)

 

14: Taghizadeh-Naeini,  Javad. - Automatic Test-Case Generation from Formal Specification of Softwrae,

Start:Mehr 1383(Oct 2004), End:Dey 1384(Jan 2006),   Tuition Based

Examiners: Internal(Dr. Movaghar), External(Dr. S. Jalili)

 

15: Rivadeh,  Mehran. - A tool for Executing Lambda Claculus Programs,

Start:Bahman 83(Jan 2005), End:Mehr 1385(Oct 2006),   Tuition Based

Examiners: Internal(Dr. Movaghar), External(Dr. Ardeshir)

 

16: Fakhraei,  Seyed-Shobeir. - Aspect Extraction from Software Design Model,

Start:Bahman 83(Jan 2005), End:Khordad 1385(June 2006),   

Examiners: Internal(Dr. Habibi), External(Dr. Sharifi)

 

17: Asiaei,  Amir-Hossein. - User Interface Design: A Formal Approach,

Start:Mehr 1384(Oct 2005), End:Khordad 1386(June 2007),   Tuition Based

Examiners: Internal(Dr. Movaghar), External(Dr. Sharifi)

 

18: Movahedi-Mehr,  Elmira. - Dynamic Architecture of Software: An Aspect Oriented Approach,

Start:Mehr 1384(Oct 2005), End:Dey 1385(Jan 2007),   Tuition Based

Examiners: Internal(Dr. Habibi), External(--)

 

19: Changizi,  Behnaz. - Developing Executable Program from Formal Specificaton in Z,

Start:Mehr 1384(Oct 2005), End:Dey 1385(Jan 2007),  Paper(1) Tuition Based

Examiners: Internal(Dr. Movaghar), External(Dr. Sharifi)

 

20: Noroozi,  Neda. - Reconfigurable Software Systems Specification and Verification: An Approach Based on Adaptive Architecture,

Start:Mehr 1384(Oct 2005), End:Mehr 1385(Oct 2006),  Paper(2)

Examiners: Internal(Dr. Jalili), External(Dr. Shams)

 

21: Chinifrooshan Esfahani,  Hesam. - An Agent Oriented Workflow Management System,

Start:Mehr 1384(Oct 2005), End:Dey 1385(Jan 2007),  Paper(2)

Examiners: Internal(Dr. Habibi), External(Dr. Sharifi)

 

22: Shojaeemand,  Hassan. - An Efficient Query Processor for Data Integration in the p2p Architecture Environment,

Start:Mehr 1384(Oct 2005), End:Tir 1386(July 2007),  Paper(1)

Examiners: Internal(Dr. Ghodsi), External(Dr. Abdolahzadeh)

 

23: Hajizadeh Moghadam,  Ali. - A Model for Software Reliability Evaluation for Distributed Web Applications,

Start:Mehr 1384(Oct 2005), End:Shahrivar 1386(Sept 2007), IT  

Examiners: Internal(Dr. Habibi), External(Dr. Sharifi)

 

24: Tasharofi,  Shahab. - A Constructive Theory to Characterize Computational Complexity,

Start:Mehr 1385(Oct 2006), End:Bahman 1386(Jan 2008),   

Examiners: Internal(Dr. Ghodsi), External(Dr. Ardeshir)

 

25: Esfahani,  Naeim. - Introducing a set of process patterns for real-time softwares,

Start:Mehr 1385(Oct 2006), End:Khordad 1387(June 2008),  Paper(1)

Examiners: Internal(Dr. Ramsin), External(Dr. Khosravi)

 

26: Bagheri,  Hamid. - Injecting Non-Functional Requirements  into Software Architecture,

Start:Mehr 1385(Oct 2006), End:Bahman 1386(Jan 2008),  Paper(3)

Examiners: Internal(Dr. Jalili), External(Dr. Sharifi)

 

27: Keramati,  Hossein. - A Software Engineering Process for Developing Security-Critical Softwares,

Start:Mehr 1385(Oct 2006), End:Khordad 1387(June 2008),  Paper(2)

Examiners: Internal(Dr. Habibi), External(Dr. Saeid Jalili)

 

28: Ganjo-Haghighi,  Arash. - Formal Specification Development From Code,

Start:Mehr 1385(Oct 2006), End:Shahrivar 1387(Sept 2008),   Tuition Based

Examiners: Internal(Dr. Movaghar), External(Dr. Sharifi)

 

29: Ejehei,  Fatemeh. - Mapping XML Queries to Relational Queries,

Start:Mehr 1385(Oct 2006), End:Dey 1386(Jan 2008),  Paper(1) Tuition Based

Examiners: Internal(Dr. Jalili), External(Dr. Roohani)

 

30: Montaghemi,  Vajiholah. - A Method for Evaluating and Comparing Software Architecture,

Start:Mehr 1385(Oct 2006), End:Shahrivar 1387(Sept 2008),  Paper(1)

Examiners: Internal(Dr. Habibi), External(Dr. Shams)

 

31: Khata va khotan,  Ahdieh sadat. - Improving Agile Methods By Using RMMM (Risk Mitigation, Monitoring ,Management),

Start:Khordad 86(June 2007), End:Bahman 1386(Feb 2008), IT  Kish

Examiners: Internal(Dr. Sedighi), External(Dr. Ramsin)

 

32: Safi,  Gholamreza. - An Architecture for Self-Healing Software Systems,

Start:Mehr 1386(Oct 2007), End:Dey 1387(Jan 2009), IT Paper(3)

Examiners: Internal(Dr. Jalili), External(Dr. Shams)

 

33: Badi zadegan,  Mohammad-Amin. - Refinement of Formal Specification into Object-Oriented Design,

Start:Mehr 1386(Oct 2007), End:Khordad 1389(June 2010),   

Examiners: Internal(Dr. Ramsin), External(Dr. Haghighi)

 

34: Forghani,  Hadi. - A Process Model for Software Product line Engineering Based on the Model Driven Architecture,

Start:Mehr 1386(Oct 2007), End:Dey 1388(Jan 2010),   

Examiners: Internal(Dr. Ramsin), External(Dr. Khosravi)

 

35: Rezvan,  Abolfazl. - Tailoring Software Testing Techiques for Product Line Engineering,

Start:Mehr 1386(Oct 2007), End:Mehr 1388(Oct 2009),   

Examiners: Internal(Dr. Habibi), External(Dr. Saeid Jalili)

 

36: Piri,  Razieh. - Refining  Object Oriented Formal Specification to Object Oriented Code,

Start:Mehr 1386(Oct 2007), End:Khordad 1388(June 2009),  Paper(1) Tuition Based

Examiners: Internal(Dr. Ramsin), External(Dr. Sharifi)

 

37: Rohi,  Nima. - Choreography and Orchestration of Coordinators in Component-Based Systems,

Start:Mehr 1387(Oct 2008), End:Azar 1388(Dec 2009),  Paper(2)

Examiners: Internal(Dr. Movaghar), External(Dr. Sharifi)

 

38: Aghakasiri,  Zahra. - A Dynamic Workflow Management System,

Start:Mehr 1387(Oct 2008), End:Aban 1388(Oct 2009),  Paper(1) Tuition Based

Examiners: Internal(Dr. Beigi), External(Dr. Abdolahi-Azgomi)

 

39: Khalafinejad,  Saeid. - Component Based Translation of Z Specifications to Executable Code,

Start:Mehr 1387(Oct 2008), End:Khordad 1389(June 2010), IT Paper(1) Kish

Examiners: Internal(Dr. Sedighi), External(Dr. Haghighi)

 

40: Sadeghi,  Alireza. - An Improvement on the Software Test Driven Development Approach,

Start:Mehr 1388(Oct 2009), End:Dey 1389(Jan 2011), IT Paper(1)

Examiners: Internal(Dr. Habibi), External(Dr. Khosravi)

 

41: Davari-Zanjani,  Eiman. - A Method for Evaluation of UML Diagrams Complexity,

Start:Mehr 1388(Oct 2009), End:Esfand 1390(March 2012),   Tuition Based

Examiners: Internal(Dr. Habibi), External(Dr. Khosravi)

 

42: Hojat,  Hamid. - A Quantitative Method for Software Architecture Evaluation,

Start:Mehr 1389(Oct 2010), End:Shahrivar 1391(Sep 2012),   

Examiners: Internal(Dr. Habibi), External(Dr. Khosravi)

 

43: Razavi-Ghahfarokhi,  Danesh. - A Distributed Workflow Management System,

Start:Mehr 1389(Oct 2010), End:Khordad 1391(Jul 2012),   

Examiners: Internal(Dr. Beigi), External(Dr. Khosravi)

 

44: Sadri,  Mehdi. - XML Query Processing Optimization,

Start:Mehr 1389(Oct 2010), End:Mordad 90(Jul 2011),   

Examiners: Internal(Dr. Jalili), External(Dr Haghighi)

 

45: Bagheri,  Maryam. - An Algorithm for Frequent Pattern Mining in Distributed Data Mining,

Start:Mehr 1389(Oct 2010), End:Azar 1390(Dec 2011), IT Paper(1)

Examiners: Internal(Dr. Habibi), External(Dr. Saniei)

 

46: Monemi Bidgoli,  Atieh. - A Method for Comparing Effectiveness and Efficiency of Grammar-Based  Testing Criteria,

Start:Mehr 1390(Oct 2011), End:Mehr 1391(Oct 2012),   

Examiners: Internal(Dr. Habibi), External(Dr.Haghihi)

 

47: Nasiri Amini,  Melisa. - Managing Variability of Quality Attributes in Software Product Line,

Start:Mehr 1390(Oct 2011), End:Dey 1391(Jan 2013),   

Examiners: Internal(Dr. Habibi), External(Dr. Haghighi)

 

48: Shokohi Dehkordi,  Sahar. - A Method for Testing Aspect Oriented Software,

Start:Mehr 1390(Oct 2011), End:Mordad 92(Aug 2013),   

Examiners: Internal(Dr. Ramsin), External(Dr. Khosravi)

 

49: Zahiri Mehrabadi,  Mahdieh. - Model Based Testing in Software Product Line,

Start:Mehr 1390(Oct 2011), End:Mehr 1391(Oct 2012),   

Examiners: Internal(Dr. Ramsin), External(Dr. Haghighi)

 

50: Shahravesh,  Fatemeh Sadat. - Clustering in Multiple Data Streams Mining,

Start:Mehr 1390(Oct 2011), End:Mehr 1391(Oct 2012),   

Examiners: Internal(Dr. Habibi), External(Dr. Saniei)

 

51: Habibi,  Elaheh. - Event-Driven Web Application Testing,

Start:Mehr 1391(Oct 2012), End:Shahrivar 1392(Aug 2013),   

Examiners: Internal(Dr. ZarabiZadeh), External(Dr. Haghighi)

 

52: Kiaeiha,  Masoud. - A Framework for Work-Flow Management Systems: An Agent Oriented approach,

Start:Mehr 1391(Oct 2012), End:Khordad 1393(June 2014),   

Examiners: Internal(Dr. Heydarnouri), External(Dr. Khosravi)

 

53: Parvizi Mosaed,  Alireza. - Towards a Framework for self-adaptive Service-Oriented Architectures based on Quality Attributes and Patterns,

Start:Mehr 1391(Oct 2012), End:Shahrivar 1392(Sept 2013),   

Examiners: Internal(Dr. Heydarnouri), External(Dr. Haghighi) Supervisor: Dr. Habibi

 

54: Zarchini,  Akram. - Associate Rule Mining in Distributed Databases,

Start:Mehr 1391(Oct 2012), End:Dey 1392(Jan 2014),   

Examiners: Internal(Dr. Heydarnouri), External(Dr. Saniei) Supervisor: Dr. Habibi

 

55: Abazari Torghabeh,  Reza. - Multi-Query Optimization in Distributed Databases Using an Ants Colony-Based Algorithm,

Start:Mehr 1392(Oct 2013), End:Dey 1393(Jan 2015),   

Examiners: Internal(Dr. Amini), External(Dr. Haghighi)

 

56: Bahrami,  Yaser. - Evolutionary Testing of Object Oriented Programs,

Start:Mehr 1392(Oct 2013), End:Khordad 1394(June 2015),   

Examiners: Internal(Dr. Ramsin), External(Dr. Haghighi)

 

57: Farnoush,  Mojtaba. - Testing of Workflow Engine Based Systems: A Model-Based Approach,

Start:Mehr 1392(Oct 2013), End:Dey 1393(Jan 2015),   

Examiners: Internal(Dr. Beigi), External(Dr.Khosravi)

 

58: Mortezazadeh Jaghargh,  Eiman. - A Tool for Generating Test Cases from Formal Specification of Programs,

Start:Mehr 1392(Oct 2013), End:Dey 1393(Jan 2015),   

Examiners: Internal(Dr. Izadi), External(Dr. Haghighi)

 

59: Tahmoresi,  Hamed. - Enabling Flexibility in Workflow Systems at Runtime,

Start:Mehr 1392(Oct 2013), End:Shahrivar 1393(Sept 2014),   

Examiners: Internal(Dr. Beigi), External(Dr. Khosravi)

 

60: Hassan-Tabar,  Navid. - Testing Android Event-Driven Applications,

Start:Mehr 1393(Oct 2014), End:Shahrivar 1395(Sept. 2016),   

Examiners: Internal(Dr. ZarabiZadeh), External(Dr. Khosravi)

 

61: Masghadi,  Nima. - Test Case Refactoring in Test Driven Development of Software: A Pattern-Based Approach,

Start:Mehr 1393(Oct 2014), End:Dey 1394(Jan 2015),   

Examiners: Internal(Dr. Ramsin), External(Dr. Haghighi)

 

62: Pourabedini,  Mohammd. - A Technique for Transforming Computer Independent Model  to Platform Independent Model in Model Driven Development of Software,

Start:Mehr 1393(Oct 2014), End:Dey 1394(Jan 2015),   

Examiners: Internal(Dr. Ramsin), External(Dr. Khosravi)

 

63: Taheri,  Naeim. - An Evolutionary Feature-Oriented Approach For Software Product Line Engineering,

Start:Mehr 1393(Oct 2014), End:Dey 1394(Jan 2015),   

Examiners: Internal(Dr. Heydarnouri), External(Dr. Khosravi)

 

64: Varmazyar,  Mojtaba. - An  Agile Methodology with the Facility of Reusing Common Assets,

Start:Mehr 1393(Oct 2014), End:Shahrivar 1394(Sept. 2015),   

Examiners: Internal(Dr. Ramsin), External(Dr. Khosravi)

 

65: Khanbaba,  Younes. - A Semi-Automated Software Testing Using Input Space Partitioning Method,

Start:Mehr 1394(Oct 2015), End:Dey 1395(Jan 2017), IT  

Examiners: Internal(Dr. Heydarnouri), External(Dr. Haghighi)

 

66: Lotfi,  Mahsa. - Generating Test Cases  for Web-Based Programs Using Field Data,

Start:Mehr 1394(Oct 2015), End:Khordad 1396(June 2017),   

Examiners: Internal(Dr. Heydarnouri), External(Dr. Haghighi)

 

67: Niroomand,  Mohammad Hassan. - Testing cross platform software,

Start:Mehr 1394(Oct 2015), End:Shahrivar 1396(Sept 2017),   

Examiners: Internal(Dr. Zarabizadeh), External(Dr. Haghighi)

 

68: Barati,  Babak. - Generating Mutants to Improve Test Suits: A Search Based Approach,

Start:Mehr 1395(Oct 2016), End:Khordad 1397(June 2018),   

Examiners: Internal(Dr. Soleimani), External(Dr. Haghighi)

 

69: Etemadi-Someeoliaei,  Khashayar. - Generating Mutants From Android Event-Driven Programs,

Start:Mehr 1395(Oct 2016), End:Mordad 1396(Aug 2016),   

Examiners: Internal(Dr. Heydarnouri), External(Dr. Khosravi)

 

70: Jalali,  Sajad. - A Method for Evaluating Effectiveness of Test Cases,

Start:Mehr 1395(Oct 2016), End:Shahrivar 1396(Sept 2017),  Paper(1)

Examiners: Internal(Dr. Abam), External(Dr. Haghighi)

 

71: Nosrati,  Ali. - A Technique for Program Fault Location Using External Information Sources,

Start:Mehr 1395(Oct 2016), End:Shahrivar 1396(Sept 2017),   

Examiners: Internal(Dr. Habibi), External(Dr. Haghighi)

 

72: Fakharian,  Peyman. - Code Change Analysis and its Impact on Software Architecture,

Start:Mehr 1396(Oct 2017), End:Shahrivar 1398(Oct 2019), AI  

Examiners: Internal(Dr. Beigi), External(Dr. Haghighi)

 

73: Mohebi,  Ali. - A Model for Bug Prediction Using Mutation Metrics,

Start:Mehr 1396(Oct 2017), End:Shahrivar 1397(Oct 2018),   

Examiners: Internal(Dr. Soleimani), External(Dr. Haghighi)

 

74: Naderi-Bani,  Mohammad-Javad. - Evaluating Effectiveness of User Interface Test Cases in Web-Based Applications,

Start:Mehr 1396(Oct 2017), End:Khordad 1398(June 2019),   

Examiners: Internal(Dr. Fazli), External(Dr. Haghighi)

 

75: Karimi,  Shahab. - Improving the Efficiency of Program State Coverage Criterion,

Start:Mehr 1398(Oct 2019), End:Mordad 1400(Aug 2021),   

Examiners: Internal(Dr. Ghodsi), External(Dr. Jahangard-Rafsanjani)

 

76: Emadi,  Mahshid. - Test Migration Between Web Applications with Similar Functionalities,

Start:Mehr 1399(Oct 2020), End:Shahrivar 1401(Sept 2022),   

Examiners: Internal(Dr. Heydarnouri), External(Dr. Jahangard-Rafsanjani)

 

77: Mousavi-Khoshdel,  Narges-Sadat. - Software Product Line Testing Optimization Based on Regression Test Techniques,

Start:Mehr 1399(Oct 2020), End:Shahrivar 1401(Sept 2022),   

Examiners: Internal(Dr. Habibi), External(Dr. Vahidi-Asl)

 

78: Rasekhi,  Mahnaz. - Test Based Software Repair Recommendation,

Start:Mehr 1399(Oct 2020), End:Shahrivar 1401(Sept 2022),   

Examiners: Internal(Dr. Habibi), External(Dr. Khosravi)

 

79: Shojaei-Yeganeh,  Mohssen. - Test Cases Generation in Test-Driven Development,

Start:Mehr 1399(Oct 2020), End:Shahrivar 1401(Sept 2022),   

Examiners: Internal(Dr. Fazli), External(Dr. Jahangard-Rafsanjani)

 

80: Adibnia,  Amin. - Implementing workflow patterns in Alloy,

Start:Mehr 1400(Oct 2021), End:(),   

Examiners: Internal(Dr. Izadi), External()

 

81: Moazami-Goudarzi,  Arash. - Manage and plan the process of significant software changes,

Start:Mehr 1400(Oct 2021), End:(),   

Examiners: Internal(), External() Supervisor: Dr. Habibi

 

82: Vahedifard,  Sajjad. - Testing Microservics: A Formal Approach,

Start:Mehr 1400(Oct 2021), End:(),   

Examiners: Internal(Dr. Habibi), External()

 

83: Amini,  Zeynab. - Safe Regression Test Selection: A Hybrid Approach,

Start:Mehr 1401(Oct 2022), End:(),   

Examiners: Internal(Dr. Heydarnouri), External()

 

84: Shirmast,  Amirreza. - Generating test cases for software dependencies,

Start:Mehr 1401(Oct 2022), End:(),   

Examiners: Internal(Dr. Fazli), External()

 

85: Heydari,  Behnam. - Improving workflow in microservice architecture based systems using the Alloy analyzer,

Start:Mehr 1401(Oct 2022), End:(),   

Examiners: Internal(Dr. Izadi), External()

 

86: Karimi,  Faranak. - Improving software design patterns to enhance testability,

Start:Mehr 1401(Oct 2022), End:(),   

Examiners: Internal(Dr. Ramsin), External()

 

Update Date: 1402/04/18(July 2023)

Create Date: 80/12/27(March 2003)