Seyed-Hassan Mirian-Hosseinabadi's Homepage
Students
Ph.D. Students
S01: Haghighi, Hassan
Thesis Title |
NCZ:
Non-deterministic Constructive Z |
Co-Supervisor |
|
Start Date |
1381/11/01 |
Proposal Date |
1384/09/30 |
Viva Date |
1387/11/27 |
Home Page |
http://sbu.ac.ir/Pages/Profiles.aspx?proffID=388016 |
S02: Jahangard-Rafsanjani,
Amir
Thesis Title |
A
Unified Approach to Semi-Structured Database Design |
Co-Supervisor |
|
Start Date |
1385/07/01 |
Proposal Date |
1388/06/10 |
Viva Date |
1393/08/21 |
Home Page |
http://jahangard.ir/ |
S03: Keramati, Hossein
Thesis Title |
Software
Testing Based on Input Grammars with Semantics |
Co-Supervisor |
|
Start Date |
1388/07/01 |
Proposal Date |
1390/12/03 |
Viva Date |
1394/08/11 |
Home Page |
http://ce.sharif.edu/~keramati/ |
S04: Tanhaei, Mohammad
Thesis Title |
A
Framework for Refactoring of Software Architecture in Product Line
Development |
Co-Supervisor |
Dr.
Jafar Habibi |
Start Date |
1389/07/01 |
Proposal Date |
1392/03/08 |
Viva Date |
1395/09/17 |
Home Page |
http://www.tanhaei.com/ |
S05: Mahdieh, Mostafa
Thesis Title |
Software
Test Case Prioritization Based on Bug History |
Co-Supervisor |
|
Start Date |
1392/11/01 |
Proposal Date |
1396/02/26 |
Viva Date |
1400/12/11 |
Home Page |
|
S06: Rivadeh, Mehran
Thesis Title |
Testing
Service Oriented Systems Using Formal Model of Workflow Patterns |
Co-Supervisor |
|
Start Date |
1394/07/01 |
Proposal Date |
1396/11/02 |
Viva Date |
? |
Home Page |
|
S07: Habibi, Elahe
Thesis Title |
Automatic
Generation of On-demand Tset as a Web Service(OTaaWS) For Web-Based
Service-Oriented Applications |
Co-Supervisor |
|
Start Date |
1395/07/01 |
Proposal Date |
1397/05/28 |
Viva Date |
1400/12/21 |
Home Page |
|
S08: Jalali-Nadoshani,
Sajad
Thesis Title |
Test
Coverage Criteria in Actor Based Programs |
Co-Supervisor |
|
Start Date |
1396/07/01 |
Proposal Date |
1399/07/01 |
Viva Date |
? |
Home Page |
|
S09: Aghakasiri, Zahra
Thesis Title |
Process
Improvement: A Pattern based Approach |
Co-Supervisor |
|
Start Date |
1396/07/01 |
Proposal Date |
1398/11/12 |
Viva Date |
? |
Home Page |
|
S10: Aghamohammadi,
Alireza
Thesis Title |
A
Probabilistic Approach to Assessing Test Suite Effectiveness |
Co-Supervisor |
|
Start Date |
1397/07/01 |
Proposal Date |
1399/11/05 |
Viva Date |
? |
Home Page |
|
S11: Dadbakhsh, Mehdi
Thesis Title |
Not
Yet Defined |
Co-Supervisor |
|
Start Date |
1399/07/01 |
Proposal Date |
? |
Viva Date |
? |
Home Page |
|
K1: Mafi, Zohre
Thesis Title |
Test
Case Selection in Evolutionary Software Development |
Co-Supervisor |
|
Start Date |
1392/07/01 |
Proposal Date |
1395/10/26 |
Viva Date |
? |
Home Page |
|
A1: Ajoudanian, Shohreh
Thesis Title |
Automatic
Analysis of Formalized Software Product Line Using Extended Feature Models |
Co-Supervisor |
Dr
Movaghar |
Start Date |
1388/11/01 |
Proposal Date |
1390/10/01 |
Viva Date |
1393/11/29 |
Home Page |
http://shohrehajoudanian.ir/index.html |
A2: Hafez-Qorani, Saleh
Thesis Title |
A
Framework for Preserving, Measuring and Tracing the Security Requirements in
Service Oriented Development Process |
Co-Supervisor |
|
Start Date |
1388/11/01 |
Proposal Date |
1391/11/28 |
Viva Date |
? |
Home Page |
http://ceit.aut.ac.ir/~hafez/ |
A3: Nooraei-Abadeh,
Maryam
Thesis Title |
A
Model Driven Approach to Automate Software Regression Testing Using
Incremental Model Transformation |
Co-Supervisor |
Dr
Movaghar |
Start Date |
1388/11/01 |
Proposal Date |
1390/11/20 |
Viva Date |
1394/11/26 |
Home Page |
|
Create Date: 1379/11/01(Jan. 2001),
Update Date: 1401/01/05( March 2022)
M.Sc. Students
1:
Taghani, Kambiz
Formal Extension of UML Modeling Language, Mehr 77(Oct 1998),
Mehr 78(Oct
1999), Group(1), Field(SE), Paper(Yes),
Co-Supervisor(), Examiners: Internal(Dr.
Movaghar), External(Dr. Sharifi)
2:
Rahmati, Behrouz
Automatic Mapping of an Object Oriented Model to a Relational
Database Model,
Mehr 78(Oct
1999), Mehr 79(Oct 2000), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Jalili), External(Dr. Roohani)
3:
Jalali, Arash
Translation of CZ set theory into Martin-Lof theory of types
and its implementation, Mehr 78(Oct 1999), Aban
79(Nov 2000), Group(1), Field(SE),
Paper(No), Co-Supervisor(), Examiners:
Internal(Dr. Movaghar), External(Dr. Ardeshir)
4:
Foladgar, Mahdi
Formal Specification of a Firewall, Mehr 78(Oct 1999),
Esfand 79(March
2001), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Jalili),
External(Dr. Bakhtiari)
5:
Mousavi, Seyyed-Mohammad-Reza
Nondeterminisim in Set Theoretical Formal Specification: A
Constructive Approach,
Mehr 79(Oct
2000), Mehr 80(Oct 2001), Group(1), Field(SE), Paper(Yes), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Ardeshir)
6:
Hashemian, Seyyed-Vahid
Formal Specification of Probabilistic Systems, Mehr 80(Oct 2001),
Mordad 81(Oct
2002), Group(1), Field(SE), Paper(Yes),
Co-Supervisor(), Examiners: Internal(Dr.
Toserkani), External(Dr. Daneshgar)
7:
Haghighi, Hassan
Translating Object Oriented Queries into Relational Queries, Mehr 80(Oct 2001),
Aban 81(Nov
2002), Group(1), Field(SE), Paper(Yes),
Co-Supervisor(), Examiners: Internal(Dr. Jalili),
External(Dr. Roohani)
8:
Roohi, Ali-Reza
A Case Study in Formal Specification ( Intelligent Student
Registration Database System), Mehr 81(Oct 2002), Khordad
83(June 2004), Group(1), Field(SE),
Paper(Yes), Co-Supervisor(), Examiners:
Internal(Dr. Movaghar), External(Dr. Isazadeh)
9:
Mesdaghinia, Salar
Adaptive Architectures: An Approach for Behavior Dynamism, Mehr 82(Oct 2003),
Bahman 83(Jan
2005), Group(1), Field(SE), Paper(Yes),
Co-Supervisor(), Examiners: Internal(Dr. Jalili),
External(Dr. Shams)
10:
Roozbehani, Amin
Database Design Evaluation based on Relational Data Model, Mehr 82(Oct 2003),
Bahman 83(Jan
2005), Group(1), Field(SE), Paper(Yes(2)),
Co-Supervisor(), Examiners: Internal(Dr. Jalili),
External(Dr. Roohani)
11:
Yousefsanati, Morteza
Work Flow Engine Design: A Family Based Approach, Mehr 82(Oct 2003),
Bahman 83(Jan
2005), Group(1), Field(SE), Paper(Yes),
Co-Supervisor(), Examiners: Internal(Dr. Habibi),
External(Dr. Sharifi)
12:
Makarem, Mohammad-Sadegh
Formal Specification and Verification of Software
Architecture Properties, Mehr 83(Oct 2004), Dey
84(Jan 2006), Group(1), Field(SE),
Paper(Yes), Co-Supervisor(), Examiners:
Internal(Dr. Jalili), External(Dr. S. Jalili)
13:
Jahangard-Rafsanjani, Amir
Mapping Between Relational Database Schemas and XML Schemas, Mehr 83(Oct 2004),
Dey 84(Jan
2006), Group(1), Field(SE), Paper(Yes),
Co-Supervisor(), Examiners: Internal(Dr. Habibi),
External(Dr. Roohani)
14:
Taghizadeh-Naeini, Javad
Automatic Test-Case Generation from Formal Specification of
Softwrae,
Mehr 83(Oct
2004), Dey 84(Jan 2006), Group(2), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. S. Jalili)
15:
Rivadeh, Mehran
A tool for Executing Lambda Claculus Programs, Bahman 83(Jan
2005), Mehr 85(Oct 2006), Group(2), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Movaghar), External(Dr. Ardeshir)
16:
Fakhraei, Seyed-Shobeir
Aspect Extraction from Software Design Model, Bahman 83(Jan
2005), Khordad 85(June 2006), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Sharifi)
17:
Asiaei, Amir-Hossein
User Interface Design: A Formal Approach, Mehr 84(Oct 2005),
Khordad 86(June 2007), Group(2), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr.
Movaghar), External(Dr. Sharifi)
18:
Movahedi-Mehr, Elmira
Dynamic Architecture of Software: An Aspect Oriented Approach, Mehr 84(Oct 2005),
Dey 85(Jan
2007), Group(2), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Habibi),
External(--)
19:
Changizi, Behnaz
Developing Executable Program from Formal Specificaton in Z, Mehr 84(Oct 2005),
Dey 85(Jan
2007), Group(2), Field(SE), Paper(Yes),
Co-Supervisor(), Examiners: Internal(Dr.
Movaghar), External(Dr. Sharifi)
20:
Noroozi, Neda
Reconfigurable Software Systems Specification and
Verification: An Approach Based on Adaptive Architecture, Mehr 84(Oct 2005),
Mehr 85(Oct
2006), Group(1), Field(SE), Paper(Yes(2)),
Co-Supervisor(), Examiners: Internal(Dr. Jalili),
External(Dr. Shams)
21:
Chinifrooshan Esfahani, Hesam
An Agent Oriented Workflow Management System, Mehr 84(Oct 2005),
Dey 85(Jan
2007), Group(1), Field(SE), Paper(Yes(2)),
Co-Supervisor(), Examiners: Internal(Dr. Habibi),
External(Dr. Sharifi)
22:
Shojaeemand, Hassan
An Efficient Query Processor for Data Integration in the p2p
Architecture Environment, Mehr 84(Oct 2005), Tir
86(July 2007), Group(1), Field(SE),
Paper(Yes), Co-Supervisor(), Examiners:
Internal(Dr. Ghodsi), External(Dr. Abdolahzadeh)
23:
Hajizadeh Moghadam, Ali
A Model for Software Reliability Evaluation for Distributed
Web Applications,
Mehr 84(Oct
2005), Shahrivar 86(Sept 2007), Group(1), Field(IT), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Sharifi)
24:
Tasharofi, Shahab
A Constructive Theory to Characterize Computational
Complexity,
Mehr 85(Oct
2006), Bahman 86(Jan 2008), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Ghodsi), External(Dr. Ardeshir)
25:
Esfahani, Naeim
Introducing a set of process patterns for real-time softwares, Mehr 85(Oct 2006),
Khordad 87(June 2008), Group(1), Field(SE), Paper(Yes),
Co-Supervisor(), Examiners: Internal(Dr. Ramsin),
External(Dr. Khosravi)
26:
Bagheri, Hamid
Injecting Non-Functional Requirements into Software Architecture, Mehr 85(Oct 2006),
Bahman 86(Jan
2008), Group(1), Field(SE), Paper(Yes(3)),
Co-Supervisor(), Examiners: Internal(Dr. Jalili),
External(Dr. Sharifi)
27:
Keramati, Hossein
A Software Engineering Process for Developing
Security-Critical Softwares, Mehr 85(Oct 2006), Khordad
87(June 2008), Group(1), Field(SE),
Paper(Yes(2)), Co-Supervisor(),
Examiners: Internal(Dr. Habibi), External(Dr. Saeid Jalili)
28:
Ganjo-Haghighi, Arash
Formal Specification Development From Code, Mehr 85(Oct 2006),
Shahrivar 87(Sept 2008), Group(2), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr.
Movaghar), External(Dr. Sharifi)
29:
Ejehei, Fatemeh
Mapping XML Queries to Relational Queries, Mehr 85(Oct 2006),
Day 86(Jan
2008), Group(2), Field(SE), Paper(Yes(1)),
Co-Supervisor(), Examiners: Internal(Dr. Jalili),
External(Dr. Roohani)
30:
Montaghemi, Vajiholah
A Method for Evaluating and Comparing Software Architecture, Mehr 85(Oct 2006),
Shahrivar 87(Sept 2008), Group(1), Field(SE), Paper(Yes(1)),
Co-Supervisor(), Examiners: Internal(Dr. Habibi),
External(Dr. Shams)
31:
Khata va khotan, Ahdieh
sadat
Improving Agile Methods By Using RMMM (Risk Mitigation,
Monitoring ,Management), Khordad 86(June 2007), Bahman
86(Feb 2008), Group(3), Field(IT),
Paper(No), Co-Supervisor(), Examiners:
Internal(Dr. Sedighi), External(Dr. Ramsin)
32:
Safi, Gholamreza
An Architecture for Self-Healing Software Systems, Mehr 86(Oct 2007),
Day 87(Jan
2009), Group(1), Field(IT), Paper(Yes(3)),
Co-Supervisor(), Examiners: Internal(Dr. Jalili),
External(Dr. Shams)
33:
Badi zadegan, Mohammad-Amin
Refinement of Formal Specification into Object-Oriented
Design,
Mehr 86(Oct
2007), Khordad 89(June 2010), Group(1), Field(SE), Paper(), Co-Supervisor(),
Examiners: Internal(Dr. Ramsin), External(Dr. Haghighi)
34:
Forghani, Hadi
A Process Model for Software Product line Engineering Based
on the Model Driven Architecture, Mehr 86(Oct 2007), Day
88(Jan 2010), Group(1), Field(SE),
Paper(), Co-Supervisor(), Examiners: Internal(Dr.
Ramsin), External(Dr. Khosravi)
35:
Rezvan, Abolfazl
Tailoring Software Testing Techiques for Product Line
Engineering,
Mehr 86(Oct
2007), Mehr 88(Oct 2009), Group(1), Field(SE), Paper(), Co-Supervisor(),
Examiners: Internal(Dr. Habibi), External(Dr. Saeid Jalili)
36:
Piri, Razieh
Refining Object
Oriented Formal Specification to Object Oriented Code, Mehr 86(Oct 2007),
Khordad 88(June 2009), Group(2), Field(SE), Paper(Yes(1)),
Co-Supervisor(), Examiners: Internal(Dr. Ramsin),
External(Dr. Sharifi)
37:
Rohi, Nima
Choreography and Orchestration of Coordinators in
Component-Based Systems, Mehr 87(Oct 2008), Azar
88(Dec 2009), Group(1), Field(SE),
Paper(Yes(2)), Co-Supervisor(),
Examiners: Internal(Dr. Movaghar),
External(Dr. Sharifi)
38:
Aghakasiri, Zahra
A Dynamic Workflow Management System, Mehr 87(Oct 2008),
Aban 88(Oct
2009), Group(2), Field(SE), Paper(Yes(1)),
Co-Supervisor(), Examiners: Internal(Dr. Beigi),
External(Dr. Abdolahi-Azgomi)
39:
Khalafinejad, Saeid
Component Based Translation of Z Specifications to Executable
Code,
Mehr 87(Oct
2008), Khordad 89(June 2010), Group(3), Field(IT), Paper(Yes(1)), Co-Supervisor(), Examiners: Internal(Dr. Sedighi), External(Dr. Haghighi)
40:
Sadeghi, Alireza
An Improvement on the Software Test Driven Development
Approach,
Mehr 88(Oct
2009), Day 89(Jan 2011), Group(1), Field(IT), Paper(Yes(1)), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Khosravi)
41:
Davari-Zanjani, Eiman
A Method for Evaluation of UML Diagrams Complexity, Mehr 88(Oct 2009),
Esfand 90(March
2012), Group(2), Field(SE), Paper(NO),
Co-Supervisor(), Examiners: Internal(Dr. Habibi),
External(Dr. Khosravi)
42:
Hojat, Hamid
A Quantitative Method for Software Architecture Evaluation, Mehr 89(Oct 2010),
Shahrivar 91(Sep 2012), Group(1), Field(SE), Paper(NO),
Co-Supervisor(), Examiners: Internal(Dr. Habibi),
External(Dr. Khosravi)
43:
Razavi-Ghahfarokhi, Danesh
A Distributed Workflow Management System, Mehr 89(Oct 2010),
Khordad 91(Jul 2012), Group(1), Field(SE), Paper(NO),
Co-Supervisor(), Examiners: Internal(Dr. Beigi),
External(Dr. Khosravi)
44:
Sadri, Mehdi
XML Query Processing Optimization, Mehr 89(Oct 2010),
Mordad 90(Jul
2011), Group(1), Field(SE), Paper(NO),
Co-Supervisor(), Examiners: Internal(Dr. Jalili),
External(Dr Haghighi)
45:
Bagheri, Maryam
An Algorithm for Frequent Pattern Mining in Distributed Data
Mining,
Mehr 89(Oct
2010), Azar 90(Dec 2011), Group(1), Field(IT), Paper(Yes(1)), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Saniei)
46:
Monemi Bidgoli, Atieh
A Method for Comparing Effectiveness and Efficiency of
Grammar-Based Testing Criteria, Mehr 90(Oct 2011),
Mehr 91(Oct
2012), Group(1), Field(SE), Paper(NO),
Co-Supervisor(), Examiners: Internal(Dr. Habibi),
External(Dr.Haghihi)
47:
Nasiri Amini, Melisa
Managing Variability of Quality Attributes in Software
Product Line,
Mehr 90(Oct
2011), Day 91(Jan 2013), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Haghighi)
48:
Shokohi Dehkordi, Sahar
A Method for Testing Aspect Oriented Software, Mehr 90(Oct 2011),
Mordad 92(Aug
2013), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Ramsin),
External(Dr. Khosravi)
49:
Zahiri Mehrabadi, Mahdieh
Model Based Testing in Software Product Line, Mehr 90(Oct 2011),
Mehr 91(Oct
2012), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Ramsin),
External(Dr. Haghighi)
50:
Shahravesh, Fatemeh
Sadat
Clustering in Multiple Data Streams Mining, Mehr 90(Oct 2011),
Mehr 91(Oct
2012), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Habibi),
External(Dr. Saniei)
51:
Habibi, Elaheh
Event-Driven Web Application Testing, Mehr 91(Oct 2012),
Shahrivar 92(Aug 2013), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr.
ZarabiZadeh), External(Dr. Haghighi)
52:
Kiaeiha, Masoud
A Framework for Work-Flow Management Systems: An Agent
Oriented approach,
Mehr 91(Oct
2012), Khordad 93(June 2014), Group(1), Field(SE), Paper(No), Co-Supervisor(), 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, Mehr 91(Oct 2012),
Shahrivar 92(Sept 2013), Group(1), Field(SE), Paper(No),
Co-Supervisor(Dr. Habibi), Examiners:
Internal(Dr. Heydarnouri), External(Dr. Haghighi)
54:
Zarchini, Akram
Associate Rule Mining in Distributed Databases, Mehr 91(Oct 2012),
Day 92(Jan
2014), Group(1), Field(SE), Paper(No),
Co-Supervisor(Dr. Habibi), Examiners:
Internal(Dr. Heydarnouri), External(Dr. Saniei)
55:
Abazari Torghabeh, Reza
Multi-Query Optimization in Distributed Databases Using an
Ants Colony-Based Algorithm, Mehr 92(Oct 2013), Dey
93(Jan 2015), Group(1), Field(SE),
Paper(No), Co-Supervisor(), Examiners:
Internal(Dr. Amini), External(Dr. Haghighi)
56:
Bahrami, Yaser
Evolutionary Testing of Object Oriented Programs, Mehr 92(Oct 2013),
Khordad 94(June 2015), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Ramsin),
External(Dr. Haghighi)
57:
Farnoush, Mojtaba
Testing of Workflow Engine Based Systems: A Model-Based
Approach,
Mehr 92(Oct
2013), Dey 93(Jan 2015), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Beigi), External(Dr.Khosravi)
58:
Mortezazadeh Jaghargh, Eiman
A Tool for Generating Test Cases from Formal Specification of
Programs,
Mehr 92(Oct
2013), Dey 93(Jan 2015), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Izadi), External(Dr. Haghighi)
59:
Tahmoresi, Hamed
Enabling Flexibility in Workflow Systems at Runtime, Mehr 92(Oct 2013),
Sharivar 93(Sept 2014), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Beigi),
External(Dr. Khosravi)
60:
Hassan-Tabar, Navid
Testing Android Event-Driven Applications, Mehr 93(Oct 2014),
Shahrivar 95(Sept. 2016), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr.
ZarabiZadeh), External(Dr. Khosravi)
61:
Masghadi, Nima
Test Case Refactoring in Test Driven Development of Software:
A Pattern-Based Approach, Mehr 93(Oct 2014), Dey
94(Jan 2015), Group(1), Field(SE),
Paper(No), Co-Supervisor(), 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
, Mehr 93(Oct 2014),
Dey 94(Jan
2015), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Ramsin),
External(Dr. Khosravi)
63:
Taheri, Naeim
An Evolutionary Feature-Oriented Approach For Software
Product Line Engineering, Mehr 93(Oct 2014), Dey
94(Jan 2015), Group(1), Field(SE),
Paper(No), Co-Supervisor(), Examiners:
Internal(Dr. Heydarnouri), External(Dr. Khosravi)
64:
Varmazyar, Mojtaba
An Agile
Methodology with the Facility of Reusing Common Assets, Mehr 93(Oct 2014),
Shahrivar 94(Sept. 2015), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Ramsin),
External(Dr. Khosravi)
65:
Khanbaba, Younes
A Semi-Automated Software Testing Using Input Space
Partitioning Method,
Mehr 94(Oct
2015), Dey 95(Jan 2017), Group(1), Field(IT), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Heydarnouri), External(Dr. Haghighi)
66:
Lotfi, Mahsa
Generating Test Cases
for Web-Based Programs Using Field Data, Mehr 94(Oct 2015),
Khordad 96(June 2017), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr.
Heydarnouri), External(Dr. Haghighi)
67:
Niroomand, Mohammad
Hassan
Testing cross platform software, Mehr 94(Oct 2015),
Shahrivar 96(Sept 2017), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr.
Zarabizadeh), External(Dr. Haghighi)
68:
Barati, Babak
Generating Mutants to Improve Test Suits: A Search Based
Approach,
Mehr 95(Oct
2016), Khordad 97(June 2018), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Soleimani), External(Dr. Haghighi)
69:
Etemadi-Someeoliaei, Khashayar
Generating Mutants From Android Event-Driven Programs, Mehr 95(Oct 2016),
Mordad 96(Aug
2016), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Heydarnouri),
External(Dr. Khosravi)
70:
Jalali, Sajad
A Method for Evaluating Effectiveness of Test Cases, Mehr 95(Oct 2016),
Shahrivar 96(Sept 2017), Group(1), Field(SE), Paper(Yes(1)),
Co-Supervisor(), Examiners: Internal(Dr. Abam),
External(Dr. Haghighi)
71:
Nosrati, Ali
A Technique for Program Fault Location Using External
Information Sources,
Mehr 95(Oct
2016), Shahrivar 96(Sept 2017), Group(1), Field(SE), Paper(No), Co-Supervisor(), Examiners: Internal(Dr. Habibi), External(Dr. Haghighi)
72:
Fakharian, Peyman
Code Change Analysis and its Impact on Software Architecture, Mehr 96(Oct 2017),
Shahrivar 98(Oct 2019), Group(1), Field(AI), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr. Beigi),
External(Dr. Haghighi)
73:
Mohebi, Ali
A Model for Bug Prediction Using Mutation Metrics, Mehr 96(Oct 2017),
Shahrivar 97(Oct 2018), Group(1), Field(SE), Paper(No),
Co-Supervisor(), Examiners: Internal(Dr.
Soleimani), External(Dr. Haghighi)
74:
Naderi-Bani, Mohammad-Javad
Evaluating Effectiveness of User Interface Test Cases in
Web-Based Applications, Mehr 96(Oct 2017), Khordad
98(June 2019), Group(1), Field(SE),
Paper(No), Co-Supervisor(), Examiners:
Internal(Dr. Fazli), External(Dr. Haghighi)
75:
Sanei-Mousavi, Hadis
Coverage Criteria based on Grammars with Semantics Software Testing, Mehr 98(Oct 2019),
(), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners:
Internal(Dr. Izadi), External()
76:
Karimi, Shahab
Improving the Efficiency of Program State Coverage Criterion, Mehr 98(Oct 2019),
(), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners:
Internal(Dr. Ghodsi), External()
77:
Emadi, Mahshid
Test Migration Between Web Applications with Similar
Functionalities,
Mehr 99(Oct
2020), (), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners:
Internal(Dr. Heydarnouri), External()
78:
Mousavi-Khoshdel, Narges-Sadat
Software Product Line Testing Optimization Based on
Regression Test Techniques, Mehr 99(Oct 2020), (), Group(1), Field(SE), Paper(), Co-Supervisor(),
Examiners: Internal(Dr. Habibi), External()
79:
Rasekhi, Mahnaz
Test Based Software Repair Recommendation, Mehr 99(Oct 2020),
(), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners:
Internal(Dr. Habibi), External()
80:
Shojaei-Yeganeh, Mohssen
Test Cases Generation in Test-Driven Development, Mehr 99(Oct 2020),
(), Group(1), Field(SE), Paper(), Co-Supervisor(), Examiners:
Internal(Dr. Fazli), External()
Update Date: 1400/02/08(April 2021(
Create Date: 80/12/27(March 2003(