Mohammad N. Alanazi

Learn More
—Execution of concurrent programs implies frequent switching between different thread contexts. This property perplexes analyzing and reasoning about concurrent programs. Trace simplification is a technique that aims at alleviating this problem via transforming a concurrent program trace (execution) into a semantically equivalent one. The resulted trace(More)
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object Oriented Modeling. UML has nine types of diagrams [3, 6]: class, object, sequence, collaboration, use case, statechart, activity, deployment and, component diagram. All these diagrams together are used to describe one model. There are some basic rules should be(More)
This position paper presents a synopsis of the imperative function artificial intelligence (AI) has partaken in software engineering (SE) as well as in software testing. In addition, the paper discusses how graphical user interface (GUI), and event driven software testing can derive benefits from the use of AI techniques. Artificial intelligence has(More)
— Static alias analysis of different type of programming languages has been drawing researcher attention. However most of the results of existing techniques for alias analysis are not precise enough compared to needs of modern compilers. Probabilistic versions of these results, in which result elements are associated with occurrence probabilities, are(More)
  • 1