ISSN: 1683-3198
|
e-ISSN: 2309-4524
|
DOI: 10.34028/iajit
Submit your Paper
Track your Paper
The International Arab Journal of Information Technology
(IAJIT)
Home
Aims and Scopes
About IAJIT
Current Issue
Archives
Submission
Indexing
Announcement
Contact Us
Home
/
Search for: model based goal plan coverage
Editorial Board
Technical Committee
Instruction to Authors
Article Processing Charges
Submit your Paper
Track your Paper
Instructions to Reviewers
Review Paper
Statistics
Towards Automated Testing of Multi-Agent Systems Using Prometheus Design Models
Shafiq Ur Rehman1, Aamer Nadeem1, and Muddassar Sindhu2 1Center for Software Dependability, Capital University of Science and Technology, Pakistan 2Department of Computer Science, Quaid i Azam University, Pakistan
#Goal sub goals coverage
# MAS faults identification
# model based goal plan coverage
All Rights reserved to IAJIT 2024
Powered by:
TurnPoint