An Automated Approach to Model Based Testing of Multi-Agent Systems

Thesis Info

Access Option

External Link

Program

PhD

Institute

Capital University of Science & Technology

City

Islamabad

Province

Islamabad.

Country

Pakistan

Thesis Completing Year

2017

Thesis Completion Status

Completed

Subject

Computer Science

Language

English

Link

http://prr.hec.gov.pk/jspui/bitstream/123456789/8453/1/Shafiq_ur_Rehman_Computer_Science_STR_2017_HSR_CUST_23.01.2018.pdf

Added

2021-02-17 19:49:13

Modified

2023-01-06 19:29:10

ARI ID

1676727697849

Similar

Chapters

Show entries

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar Thesis

Show entries

Filter:

Showing 1 to 20 of 100 entries

Title	Author	Supervisor	Degree	Institute
An Automated Approach to Model Based Testing of Multi-Agent Systems			PhD	Capital University of Science & Technology, Islamabad, Pakistan
Aspect based framework for multi-agent systems	Tariq Mehmood		MS	International Islamic University, Islamabad, Pakistan
Model based automated regression testing of Web application	Qureshi, Usman Khalid	Aamer Nadeem	MS	International Islamic University, Islamabad, Pakistan
Secure storage and communication in J2Me based lightweight multi-Agent systems	Shah, Syed Muhammad Ali		MS	International Islamic University, Islamabad, Pakistan
Toward a Multi-Agent Based Approach for Geolocation Assurance in Cloud Computing	Muhammad Ahmed	Abid Khan	RIS	COMSATS University Islamabad, Islamabad, Pakistan
Robustness of hierarchical schemes for Multi-agent systems	Ali Raza	Muhammad Iqbal	MS	International Islamic University, Islamabad, Pakistan
Agent-Based Testing for General Games	Noor Us Sabah	Adeel Zafar	MS	Riphah International University, Islamabad, Pakistan
Usage Model Based Testing of an Erp Implementation Project	Bilal Haider	Saif-Ur-Rehman	RCE	COMSATS University Islamabad, Islamabad, Pakistan
Automated Test Data Generation for Model Transformation Testing	Jilani, Atif Aftab Ahmed		PhD	National University of Computer and Emerging Sciences, Islamabad, Pakistan
An Automated Tool for Source Code Coverage Based upon Critical Path Testing	Uzma Hafeez	Rizwan Bin Faiz	MS	Riphah International University, Islamabad, Pakistan
Formal Modeling of Real-Time Self Adaptive Multi-Agent Systems	Qasim, Awais		PhD	Government College University, Lahore, Pakistan
Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems	Qasim, Awais		PhD	Government College University Lahore, Lahore, Pakistan
Automated estate agent	Zubair Ali Junaid		BCS	International Islamic University, Islamabad, Pakistan
Agent Based Cloud Computing Service for Software Testing	Muhammad Umar Farooq			Virtual University of Pakistan, Lahore, Pakistan
Learning to Learn: An Automated and Continuous Approach to Learning in Imperfect Environments	Mujtaba, Hasan		PhD	National University of Computer and Emerging Sciences, Islamabad, Pakistan
Automated software testing: an insight into local industry	Zara Shaheen	Abdur Rauf	MS	International Islamic University, Islamabad, Pakistan
Automated Testing of Object Oriented Systems Using Vdm++ and Uml Communication Diagrams	Nadeem, Aamer		PhD	Mohammad Ali Jinnah University, Islamabad, Pakistan
Robust cooperative output regulation for a class fo multi agent systems	Muhammad Zeeshan Shamsi		MS	National University of Sciences & Technology, Islamabad, Pakistan
An Efficient Algorithm for Test Case Generation and Automated Testing of Software Based on Binary Tree	Ghulam Mustafa			Virtual University of Pakistan, Lahore, Pakistan
Linear Dynamical Systems: An Operational Approach	Muhammad Saeed Akram		PhD	Government College University, Lahore, Pakistan
Title	Author	Supervisor	Degree	Institute

Showing 1 to 20 of 100 entries

Similar News

Show entries

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Search or add a thesis