Safeeullah Soomro

Safeeullah Soomro, Mohammad Riyaz Belgaum, Zainab Alansari et al.

Debugging is considered as a rigorous but important feature of software engineering process. Since more than a decade, the software engineering research community is exploring different techniques for removal of faults from programs but it is quite difficult to overcome all the faults of software programs. Thus, it is still remains as a real challenge for software debugging and maintenance community. In this paper, we briefly introduced software anomalies and faults classification and then explained different fault localization models using theory of diagnosis. Furthermore, we compared and contrasted between value based and dependencies based models in accordance with different real misbehaviours and presented some insight information for the debugging process. Moreover, we discussed the results of both models and manifested the shortcomings as well as advantages of these models in terms of debugging and maintenance.

Anupama Prasanth, Sandhia Valsala, Safeeullah Soomro

The ultimate goal of any software developer seeking a competitive edge is to meet stakeholders needs and expectations. To achieve this, it is necessary to effectively and accurately manage stakeholders system requirements. The paper proposes a systematic way of classifying stakeholders and then describes a novel method for calculating stakeholder priority taking into consideration the fact that different stakeholders will have different importance level and different requirement preference. Finally the requirement preference calculation is done where stakeholders choose the best requirements based on two factors, value and urgency of the requirement. The proposed method actively involves stakeholders in the requirement elicitation process.

Mohammad Riyaz Belgaum, Safeeullah Soomro, Zainab Alansari et al.

In the real time processing, a new emerging technology where the need of connecting smart devices with cloud through Internet has raised. IoT devices processed information is to be stored and accessed anywhere needed with a support of powerful computing performance, efficient storage infrastructure for heterogeneous systems and software which configures and controls these different devices. A lot of challenges to be addressed are listed with this new emerging technology as it needs to be compatible with the upcoming 5G wireless devices too. In this paper, the benefits and challenges of this innovative paradigm along with the areas open to do research are shown.

Jissy Ann George, S. Veni, Safeeullah Soomro

Cloud computing is an upcoming technology that has been designed for commercial needs. One of the major issues in cloud computing is the difficulty to manage federated identities and the trust between the user and the service providers. This paper focuses on how security can be provided between the user and the service provider and how the user information can be authenticated. For the purpose of providing privacy and authentication, Security Assertion Markup Language (SAML) based Single Sign-On is used. Security is provided by using Hash based Encryption algorithm (HBE). HBE algorithm works with the help of Key Exchange Protocol which contains poly hash function. In the algorithm, Identity providers maintain user directory and authenticates user information; service provider provides the service to users. The user has to register their details with the identity provider prior to this. During this stage, Hash based Encryption algorithm is used to provide secure communication between the identity provider and the user. In this paper we suggest that higher security can be given to user login by using an additional cryptographic technique, i.e. Hash based Encryption algorithm with the help of the Key Exchange Protocol.

Safeeullah Soomro, Zainab Alansari, Mohammad Riyaz Belgaum

Since decade understanding of programs has become a compulsory task for the students as well as for others who are involved in the process of developing software and providing solutions to open problems. In that aspect showing the problem in a pictorial presentation in a best manner is a key advantage to better understand it. We provide model and structure for Java programs to understand the control and data flow analysis of execution. Especially it helps to understand the static analysis of Java programs, which is an uttermost important phase for software maintenance. We provided information and model for visualization of Java programs that may help better understanding of programs for a learning and analysis purpose. The idea provided for building visualization tool is extracting data and control analysis from execution of Java programs. We presented case studies to prove that our idea is most important for better understanding of Java programs which may help towards static analysis, software debugging and software maintenance.

Safeeullah Soomro, Zahid Hussain, Ayaz Keerio

Precisely and automatically detection of faults in programs, is a software engineering dream. Every effort in this regard takes us one step closer to realizing it. Many efforts have been taken from the people of these areas on testing, verification and debugging. We are proposing such effort for the research community of this domain is using path conditions to generate a minimal set of PLOFC (possible lines of faulty code). It's a run time method that will effectively bring the minimal possible set of faulty lines of code through the help of path conditions and some heuristics involved. In this paper we are generating possible fault locations from programs using path conditions which can put positive impact on the static analysis of programs. Further we discuss the basic ideas regarding path conditions, the theory, and first analysis results. This work is based on a previous work that uses the variable dependences for fault detection. We showed some examples to the applicable of this idea and can be useful for software verification.

Adnan Alam Khan, Safeeullah Soomro, Irfan Hyder

Databases play an important role in cyber world. It provides authenticity across the globe to the legitimate user. Biometrics is another important tool which recognizes humans using their physical statistics. Biometrics system requires speedy recognition that provides instant and accurate results. Biometric industry is looking for a new algorithm that interacts with biometric system reduces its recognition time while searching its record in large database. We propose a method which provides an appropriate solution for the aforementioned problem. Iris images database could be smart if iris image histogram ratio is used as its primary key. So, we have developed an algorithm that converts image histogram into eight byte code which will be used as primary key of a large database. Second part of this study explains how color iris image recognition can take place. For this a new and efficient algorithm is developed that segments the iris image and performs recognition in much less time. Our research proposes a fast and efficient algorithm that recognizes color irises from large database. We have already implemented this algorithm in Matlab. It provides real-time, high confidence recognition of a person's identity using mathematical analysis of the random patterns that are visible within the iris of an eye.