The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input is said to have a representation dependence if its behavior differs for logically equivalent input values. In this paper, we present a methodology and tool for automated testing of clients of a data structure for representation dependence. In the proposed methodology, the developer expresses the logical equivalence by writing a normalization program f that maps each concrete representation to a canonical one. Our solution relies on automatically synthesizing the oneto- many inverse function of f: given an input value x, we can generate multiple test inputs logically...
In the context of structural testing, automatic test-pattern generation (ATPG) may fail to provide s...
Array data dependence analysis methods currently in use generate false dependences that can p...
AbstractA method for analysing the inverse of a first-order functional program is proposed. This met...
The definition of a data structure may permit many different concrete representations of the same lo...
Source-code based test data generation is a process of finding program input on which a selected ele...
We present a new approach to dependence testing in the presence of induction variables. Instead of l...
International audienceWe present a new approach to dependence testing in the presence of induction v...
This paper concerns the question of how to create abstractions that are useful for program analysis....
Abstract. We present a method for automatic program inversion in a first-order functional programmin...
Although the program verification community has developed several techniques for analyzing software ...
Abstract- Wepresent a dependence testing algorithm that considers the short width of modern SIMD reg...
Data dependence testing is the basic step in detecting loop level parallelism in numerical programs....
A simple run-time data dependence test is presented which is based on a new formulation of the depen...
Software bugs are a reality of programming. They can be difficult to identify and resolve, even for...
Abstract. We present an approach to software verification by program inversion, exploiting recent pr...
In the context of structural testing, automatic test-pattern generation (ATPG) may fail to provide s...
Array data dependence analysis methods currently in use generate false dependences that can p...
AbstractA method for analysing the inverse of a first-order functional program is proposed. This met...
The definition of a data structure may permit many different concrete representations of the same lo...
Source-code based test data generation is a process of finding program input on which a selected ele...
We present a new approach to dependence testing in the presence of induction variables. Instead of l...
International audienceWe present a new approach to dependence testing in the presence of induction v...
This paper concerns the question of how to create abstractions that are useful for program analysis....
Abstract. We present a method for automatic program inversion in a first-order functional programmin...
Although the program verification community has developed several techniques for analyzing software ...
Abstract- Wepresent a dependence testing algorithm that considers the short width of modern SIMD reg...
Data dependence testing is the basic step in detecting loop level parallelism in numerical programs....
A simple run-time data dependence test is presented which is based on a new formulation of the depen...
Software bugs are a reality of programming. They can be difficult to identify and resolve, even for...
Abstract. We present an approach to software verification by program inversion, exploiting recent pr...
In the context of structural testing, automatic test-pattern generation (ATPG) may fail to provide s...
Array data dependence analysis methods currently in use generate false dependences that can p...
AbstractA method for analysing the inverse of a first-order functional program is proposed. This met...