The main contribution of this work is the fusion of scientific visualization algorithms and a scene graph resulting in a dynamic creation of the data flow model being used. The most important flow visualization techniques will be introduced in this thesis. The current state of the art was analyzed by comparing the most important software packages with a special focus on data flow models being u...

Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...

let $r$ be a commutative ring with zero-divisor set $z(r)$. the total graph of $r$, denoted by$t(gamma(r))$, is the simple (undirected) graph with vertex set  $r$ where two distinct vertices areadjacent if their sum lies in $z(r)$.this work considers minimum zero-sum $k$-flows for $t(gamma(r))$.both for $vert rvert$ even and the case when $vert rvert$ is odd and $z(g)$ is an ideal of $r$it is s...

Transforming procedural code for execution by specialized parallel platforms requires a model of computation sufficiently close to both the sequential programming languages and the target parallel environment. In this paper, we present Hybrid Flow Graphs, encompassing both control flow and data flow in a unified, pipeline based model of computation. Besides the definition of the Hybrid Flow Gra...

The increased availability of large amounts of data about user search behaviour in search engines has triggered a lot of research in recent years. This includes developing machine learning methods to build knowledge structures that could be exploited for a number of tasks such as query recommendation. Query flow graphs are a successful example of these structures, they are generated from the se...

Control-flow analysis of business process models requires to check the absence of lack of synchronization. We use workflow graphs, which may contain inclusive OR gateways, to represent the control-flow of business process models. We structurally characterize lack of synchronization in an acyclic workflow graph. Based on this characterization, we show how to detect lack of synchronization in qua...

When two methods are invoked on the same object, the dispatch behaviours of these method calls will be correlated. If two correlated method calls are polymorphic (i.e., they dispatch to different method definitions depending on the type of the receiver object), a program’s interprocedural control flow graph will contain infeasible paths. Existing algorithms for data-flow analysis are unable to ...