Add to ORKGThis article is devoted to the analysis of interconnection between input and output data of algorithms with the use of modified symbolic execution method. This method can calculate possible values of output data in different loop constructions and fetch out the general scheme of data flow
This article is devoted to the algorithm, which allows in finite iterations to determine required va...
Symbolic execution is a verification technique between testing and model checking. The aim is to fin...
An analysis method for specialization of imperative programs is described in this paper. This anal-y...
This paper is devoted to the advance of the existing analysis methods of data flow of software by us...
The topic of intermediate languages for optimizing and parallelizing compilers has received much at...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/19...
Dependence analysis is an indispensable tool in the automatic vectorization and parallelization of s...
We present a symbolic-execution-based algorithm that for a given program and a given program locatio...
This article focuses on algorithm representation by means of Petri Nets. The basic structural featur...
This article is devoted to method of search for bugs in multithreaded applications based on the symb...
The notion of dependence captures the most important properties of a program for efficient execution...
In this paper we present an intermediate program representation, called the program dependence graph...
Techniques for analyzing sequential programs in order to improve their reliability have been widely ...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/16...
Dynamic Symbolic Execution (DSE) is a technique to automatically generate test inputs by executing a...
This article is devoted to the algorithm, which allows in finite iterations to determine required va...
Symbolic execution is a verification technique between testing and model checking. The aim is to fin...
An analysis method for specialization of imperative programs is described in this paper. This anal-y...
This paper is devoted to the advance of the existing analysis methods of data flow of software by us...
The topic of intermediate languages for optimizing and parallelizing compilers has received much at...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/19...
Dependence analysis is an indispensable tool in the automatic vectorization and parallelization of s...
We present a symbolic-execution-based algorithm that for a given program and a given program locatio...
This article focuses on algorithm representation by means of Petri Nets. The basic structural featur...
This article is devoted to method of search for bugs in multithreaded applications based on the symb...
The notion of dependence captures the most important properties of a program for efficient execution...
In this paper we present an intermediate program representation, called the program dependence graph...
Techniques for analyzing sequential programs in order to improve their reliability have been widely ...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/16...
Dynamic Symbolic Execution (DSE) is a technique to automatically generate test inputs by executing a...
This article is devoted to the algorithm, which allows in finite iterations to determine required va...
Symbolic execution is a verification technique between testing and model checking. The aim is to fin...
An analysis method for specialization of imperative programs is described in this paper. This anal-y...