Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible paths. This paper presents an adaptive sampling mechanism called EXIST for Exploration/eXploitation Inference for Software Testing, able to retrieve distinct feasible paths with high probability. EXIST proceeds by alterna...

A classical flow is a nonnegative linear combination of unit flows along simple paths. A multiroute flow, first considered by Kishimoto and Takeuchi, generalizes this concept. The basic building blocks are not single paths with unit flows but rather tuples consisting of k edge disjoint paths, each path with a unit flow. A multiroute flow is a nonnegative linear combination of such tuples. We pr...

Finding the optimal clearance time and deciding the path and schedule of evacuation for large networks have traditionally been computationally intensive. In this paper, we propose a new method for finding the solution for this dynamic network flow problem with considerably lower computation time. Using a three phase solution method, we provide solutions for required clearance time for complete ...

Current strategies to protect groundwater sources from microbial contamination (e.g., wellhead protection areas) rely upon natural attenuation of microorganisms between wells or springs and potential sources of contamination and are determined using average (macroscopic) groundwater flow velocities defined by Darcy's Law. However, field studies of sewage contamination and microbial transport us...

Problem statement: Dynamic verification, the use of simulation to determine design correctness, is widely used due to its tractability for large hardware designs. A serious limitation of dynamic techniques is the difficulty in determining whether or not a test sequence is sufficient to detect all likely design errors. Coverage metrics are used to address this problem by providing a set of goals...

A map or, more generslly, a numerical model of an attribute’s dwhibution in spsce is rarely sn end goal. Maps are used as input to some transfer function designed to simulate a response of interest (Fig. 1). The “quslity” of a map m numericaf model should be appreciated in relation to the p2rticubu transfer function through which it will be processed. A map is a poor model of reality if it does...

Multipath transport protocols have the potential to greatly improve the performance and resilience of Internet traffic flows. The basic idea is that if flows are able to simultaneously use more than one path through the network, then they will be more resilient to problems on particular paths (e.g. transient problems on a radio interface), and they will be able to pool capacity across multiple ...

Large rivers play crucial roles in determining locations of civilization, biodiversity, and efflux to the oceans. The paths they take across Earth's surface vary with scale. At long-wavelengths can have simple flow paths. smaller scales, meanders for example, their change rapidly as a consequence lithology, biota, other environmental variables. It is not straightforward identify scales at which...

We present a novel method for the automated extraction of blood vessel centerlines. There are two major contributions. First, in order to avoid the shortcuts that minimal path methods are prone to we find optimal paths in a computed flow field. We solve for a steady state porous media flow inside a region of interest and trace centerlines as maximum flow paths. We explain how to estimate anisot...