- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Software System Performance and Reliability
- Software Engineering Research
- Non-Destructive Testing Techniques
- Stability and Control of Uncertain Systems
- Machine Fault Diagnosis Techniques
- Ultrasonics and Acoustic Wave Propagation
- Corrosion Behavior and Inhibition
- Adaptive Control of Nonlinear Systems
- Advanced Software Engineering Methodologies
- Advanced Optical Network Technologies
- Interconnection Networks and Systems
- Geophysical Methods and Applications
- Network Time Synchronization Technologies
- Neural Networks Stability and Synchronization
- Irrigation Practices and Water Management
- Model-Driven Software Engineering Techniques
- High voltage insulation and dielectric phenomena
- Distributed Control Multi-Agent Systems
- VLSI and Analog Circuit Testing
- Frequency Control in Power Systems
- Advanced Control Systems Design
- Greenhouse Technology and Climate Control
- Innovations in Aquaponics and Hydroponics Systems
King Fahd University of Petroleum and Minerals
2002-2024
Middle East Technical University
2023
University of Maryland, College Park
2002-2009
Fraunhofer USA Center Mid-Atlantic CMA
2004
University of Pittsburgh
2001-2003
University of West Florida
2002
Graphical user interfaces (GUIs) are important parts oftoday's software and their correct execution is required toensure the correctness of overall software. A populartechnique to detect defects in GUIs test them by executingtest cases checking results. Testcases may either be created manually or generated automaticallyfrom a model GUI. While manual testingis unacceptably slow for many applications, our experiencewith GUI testing has shown that creating canbe used automated case generation...
The widespread use of GUIs for interacting with software is leading to the construction more and complex GUIs. With growing complexity come challenges in testing correctness a GUI its underlying software. We present new technique automatically generate test cases that exploits planning, well-developed used artificial intelligence. Given set operators, an initial state, goal planner produces sequence operators will transform state state. Our case generation enables efficient application...
Software is increasingly being developed/maintained by multiple, often geographically distributed developers working concurrently. Consequently, rapid-feedback-based quality assurance mechanisms such as daily builds and smoke regression tests, which help to detect eliminate defects early during software development maintenance, have become important. This paper addresses a major weakness of current testing techniques, i.e., their inability automatically (re)test graphical user interfaces...
Given their increased importance, testing graphical user interfaces (GUI) for correctness can enhance the entire system's safety, robustness, and usability. But GUI remain a neglected test research area.
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on type number test cases executed software. In this paper we show oracle used during also contributes significantly to cost. A is a mechanism determines whether correctly for case. We define contain two essential parts: information represents expected output; an procedure compares with actual output. By varying level detail changing procedure, designer can create different types...
This paper presents a fully automatic model-driven technique to generate test cases for graphical user interfaces (GUIs)-based applications. The uses feedback from the execution of ¿seed suite,¿ which is generated automatically using an existing structural event interaction graph model GUI. During its execution, runtime effect each GUI on all other events pinpoints semantic (ESI) relationships, are used new cases. Two studies eight applications demonstrate that feedback-based 1) able...
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads regression suites. Since this approach is inadequate for many systems, tools processes are being developed to improve software quality by increasing user participation in the QA process. A limitation of these approaches that they focus isolated mechanisms, not coordination control policies needed make global process efficient, effective,...
This paper presents a fault-tolerant control (FTC) scheme for nonlinear systems which are connected in networked system. The system is first transformed into two subsystems such that the unobservable part affected by fault and observable unaffected. An observer then designed gives state estimates using Luenberger also unknown parameter of system; this helps estimation. FTC applied presence sampling due to network loop. controller gain obtained linear-quadratic regulator technique....
This paper investigates the formation control of multiple heterogeneous quadrotor unmanned aerial vehicles (UAVs). The research focuses on developing a distributed robust strategy to effectively manage translational and attitude motions UAVs utilizing an active virtual leader. communication each agent in connected environment is represented by directed graph. To align with real applications, only minimum one required connect challenge associated controlling systems more complicated inherent...
Stainless steel (SS) is widely employed in industrial applications that demand superior corrosion resistance. Modeling its behavior common structural and various operational scenarios beneficial to provide wall-thickness (WT) information, thus leading a predictive asset integrity regime. In this spirit, an approach model the of SS 316L using artificial neural networks (ANNs) developed, whereby saline water at different concentrations flown through elbow structure flow rates salt...
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a with respect some criteria. Emerging trends in software development such as component reuse, multi-language implementations, and stringent performance requirements present new challenges for existing techniques may limit their applicability. A technique not affected by these presented; it based on dynamically generated language-independent information can be collected little run-time...
"Nightly/daily building and smoke testing" have become widespread since they often reveal bugs early in the software development process. During these builds, is compiled, linked, (re)tested with goal of validating its basic functionality. Although successful for conventional software, tests are difficult to develop automatically rerun that has a graphical user interface (GUI). In this paper, we describe framework called DART (daily automated regression tester) addresses needs frequent...
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads regression suites. Since this approach is inadequate for many systems, tools processes are being developed to improve software quality by increasing user participation in the QA process. A limitation of these approaches that they focus isolated mechanisms, not coordination control policies needed make global process efficient, effective,...
This paper presents a novel stator inter-turn fault diagnosis method for Line Start Permanent Magnet Synchronous Motors (LSPMSMs) using the frequency analysis of acoustic signals resulting from asymmetrical faults. In this method, data are experimentally collected 1 hp interior mount LSPMSM different cases and motor loading levels, while including background noise. The smartphone at sampling rate 48,000 samples per second. signal each case is analyzed fast Fourier transform (FFT), which...
The usage of multicopter unmanned aerial vehicles (UAVs) has increased for various military and civilian purposes. choice propulsion system such a vehicle is crucial to fulfill the intended mission requirements. present study focuses on evaluating efficiency by experimenting with different motor, propeller battery combinations. connection between electronic speed controller (ESC) signal, current, power, thrust torque in relation size determined. It observed that regardless capacity or motor...
The discrete control problem of vertical take-off and landing unmanned aerial vehicle (VTOL UAV) in the presence time-varying uncertain disturbances is developed this paper. complexity managed by dividing dynamical model into two subsystems i.e. translational dynamics rotational dynamics, where each subsystem composed three states. A discrete-time quasi-sliding mode (DTQSMC) extended to maintain trajectory tracking proposing a new-reaching law for VTOL UAV. robust controller designed handle...
The need for creating predictability in distributed systems is most often specified terms of quality-of-service (QoS) requirements, which help define the acceptable levels dependability with capabilities such as processing capacity, data throughput, or service availability reach users. For longer-term properties scalability, maintainability, adaptability, and system security, we can similarly use persistent software attributes (PSAs) to specify how what degree must remain intact a network...
Several rapid-feedback-based quality assurance mechanisms are used to manage the of continuously evolving software. Even though graphical user interfaces (GUIs) one most important parts software, there currently no quickly retest GUI We leverage our previous work on testing define a new automatic re-testing process called "crash testing" that is integrated with evolution. describe two levels crash testing: (1) immediate feedback-based in which developer indicates bug was fixed response...
The direct estimation of soil hydraulic conductivity (Ks) requires expensive laboratory measurement to present adequately properties in an area interest. Moreover, the process is labor and time-intensive due difficulties collecting samples from field. Hence, innovative methods, such as machine learning techniques, can be alternative estimate Ks. This might facilitate agricultural water nutrient management which has impact on food security. In this spirit, study presents neural-network-based...