Safdar Aqeel Safdar

dblp:166/0031 · DBLP profile ↗
← Back
6ranked-venue papers
5as first author
2since 2021 · last 2021
0000-0001-8090-6627ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 4 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author
YearPublicationVenuePosition
2021 A framework for automated multi-stage and multi-step product configuration of cyber-physical systems
Safdar Aqeel Safdar, Hong Lu 0005, Tao Yue 0002, Shaukat Ali 0001, Kunming Nie
Softw. Syst. Model.1
2021 Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-objective Search
abstract
Modern systems, such as cyber-physical systems, often consist of multiple products within/across product lines communicating with each other through information networks. Consequently, their runtime behaviors are influenced by product configurations and networks. Such systems play a vital role in our daily life; thus, ensuring their correctness by thorough testing becomes essential. However, testing these systems is particularly challenging due to a large number of possible configurations and limited available resources. Therefore, it is important and practically useful to test these systems with specific configurations under which products will most likely fail to communicate with each other. Motivated by this, we present a search-based configuration recommendation ( SBCR ) approach to recommend faulty configurations for the system under test (SUT) based on cross-product line (CPL) rules. CPL rules are soft constraints, constraining product configurations while indicating the most probable system states with a certain degree of confidence. In SBCR , we defined four search objectives based on CPL rules and combined them with six commonly applied search algorithms. To evaluate SBCR (i.e., SBCR NSGA-II , SBCR IBEA , SBCR MoCell , SBCR SPEA2 , SBCR PAES , and SBCR SMPSO ), we performed two case studies (Cisco and Jitsi) and conducted difference analyses. Results show that for both of the case studies, SBCR significantly outperformed random search-based configuration recommendation ( RBCR ) for 86% of the total comparisons based on six quality indicators, and 100% of the total comparisons based on the percentage of faulty configurations (PFC). Among the six variants of SBCR, SBCR SPEA2 outperformed the others in 85% of the total comparisons based on six quality indicators and 100% of the total comparisons based on PFC.
Safdar Aqeel Safdar, Tao Yue 0002, Shaukat Ali 0001
ACM Trans. Softw. Eng. Methodol.1
2020 Using multi-objective search and machine learning to infer rules constraining product configurations
Safdar Aqeel Safdar, Tao Yue 0002, Shaukat Ali 0001, Hong Lu 0005
Autom. Softw. Eng.1
2020 Quality Indicators in Search-based Software Engineering: An Empirical Evaluation
abstract
Search-Based Software Engineering (SBSE) researchers who apply multi-objective search algorithms (MOSAs) often assess the quality of solutions produced by MOSAs with one or more quality indicators (QIs). However, SBSE lacks evidence providing insights on commonly used QIs, especially about agreements among them and their relations with SBSE problems and applied MOSAs. Such evidence about QIs agreements is essential to understand relationships among QIs, identify redundant QIs, and consequently devise guidelines for SBSE researchers to select appropriate QIs for their specific contexts. To this end, we conducted an extensive empirical evaluation to provide insights on commonly used QIs in the context of SBSE, by studying agreements among QIs with and without considering differences of SBSE problems and MOSAs. In addition, by defining a systematic process based on three common ways of comparing MOSAs in SBSE, we present additional observations that were automatically produced based on the results of our empirical evaluation. These observations can be used by SBSE researchers to gain a better understanding of the commonly used QIs in SBSE, in particular, regarding their agreements. Finally, based on the results, we also provide a set of guidelines for SBSE researchers to select appropriate QIs for their particular context.
Shaukat Ali 0001, Paolo Arcaini, Dipesh Pradhan, Safdar Aqeel Safdar, Tao Yue 0002
ACM Trans. Softw. Eng. Methodol.4
2017 Mining cross product line rules with multi-objective search and machine learning
abstract
Nowadays, an increasing number of systems are being developed by integrating products (belonging to different product lines) that communicate with each other through information networks. Cost-effectively supporting Product Line Engineering (PLE) and in particular enabling automation of configuration in PLE is a challenge. Capturing rules is the key for enabling automation of configuration. Product configuration has a direct impact on runtime interactions of communicating products. Such products might be within or across product lines and there usually don't exist explicitly specified rules constraining configurable parameter values of such products. Manually specifying such rules is tedious, time-consuming, and requires expert's knowledge of the domain and the product lines. To address this challenge, we propose an approach named as SBRM that combines multi-objective search with machine learning to mine rules. To evaluate the proposed approach, we performed a real case study of two communicating Video Conferencing Systems belonging to two different product lines. Results show that SBRM performed significantly better than Random Search in terms of fitness values, Hyper-Volume, and machine learning quality measurements. When comparing with rules mined with real data, SBRM performed significantly better in terms of Failed Precision (18%), Failed Recall (72%), and Failed F-measure (59%).
Safdar Aqeel Safdar, Hong Lu 0005, Tao Yue 0002, Shaukat Ali 0001
GECCO1
2015 Empirical Evaluation of UML Modeling Tools-A Controlled Experiment
Safdar Aqeel Safdar, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan
ECMFA1