Performance evaluation and analysis are used to understand and improve computer system performance. One common approach is to measure performance indicators of interest during execution of a set of benchmark programs on a given system. Processor architecture, compiler, operating system, etc. and their interaction are often not predictable and can introduce random variability in such measurement...

Finding software bugs before deployment is essential to achieve software safety and security. The achievable code coverage and input coverage with manual test suite development at reasonable cost is limited. Therefore, complementary automated methods for bug detection are of interest. This paper describes automated context-sensitive detection of software bugs with dynamic symbolic execution. Th...

This paper presents results on the complexity of computing event orderings for sharedmemory parallel program executions. Given a program execution, we formally define the problem of computing orderings that the execution must have exhibited or could have exhibited, and prove that computing such orderings is an intractable problem. We present a formal model of a shared-memory parallel program ex...

We present the Symbolic Execution Debugger (SED), an extension of the Eclipse debug platform for interactive symbolic execution. Being based on symbolic execution, its functionality goes beyond that of traditional interactive debuggers. For instance, debugging can start directly at any method or statement and all program execution paths are explored simultaneously. To support program comprehens...

Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most commonly used to bound program execution time. While bounding a program’s WCET statically is possible, computing its true WCET is difficult without significant semantic knowledge. We present an algorithm for partial program adm...

In Iran, new centralization characteristic, especially during Pahlavi dynasty, has been convergence and its vast use in bureaucracy. Historical sociological studies have consensus on the issues of centralization, power centralization, and political sovereignty in Iran; however, these issues have some divisional interruptions and different levels of strength in some parts of the history. This es...

This study investigated the effectiveness of concentrated observations for ocean state estimation in a region remote from the observation site. I executed a twin observing system simulation experiment (OSSE) for the North Pacific region, using an ocean data synthesis system, to examine how the potential effectiveness is for a well-defined criterion, the representativeness of the subsurface sali...

The performance skeleton of a parallel application is a short running program whose performance in any scenario reflects the performance of the application it represents. Specifically, the execution time of the performance skeleton is a small fixed fraction of the execution time of the corresponding application in any execution environment. This work presents a framework for automatic construct...

Execution patterns and fault distribution characteristics of a program will aaect the failure process and thus reliability estimates. The failure process of a software system is innuenced by many factors, and traditional software reliability engineering has found it diicult to isolate the eeect of each individual factor. A simulation approach is used to investigate the eeects of fault distribut...

White-box testing allows developers to determine whether or not a program is partially consistent with its specified behavior and design through the examination of intermediate values of variables during program execution. These intermediate values are often recorded as an execution trace produced by monitoring code inserted into the program. After program execution, the values in an execution ...