Citation Context

...ing the locations potentially affected by a mutant. Modern change impact analysis [24] can do this in presence of subtyping and dynamic dispatch. The recent concept of differential symbolic execution =-=[23]-=- brings the promise of easily detecting potential impact of changes. All of these techniques are orthogonal to ours; indeed, if we can prove statically that a mutation will have no impact, we can effe...

Citation Context

...rections to enhance traditional symbolic execution: (1) to improve its effectiveness [4, 10, 12, 19, 32]; (2) to improve its efficiency [1, 3, 5, 11, 20, 31, 37]; and (3) to improve its applicability =-=[8, 18, 27, 33]-=-. The novelty of DiSE is to leverage state-ofthe-art symbolic execution techniques and apply a static analysis in synergy to enable symbolic execution to perform more efficiently as a program undergoe...

Citation Context

...2010, Santa Fe, New Mexico, USA. Copyright 2010 ACM 978-1-60558-791-2/10/11 ...$10.00. gineers. There has been research on automatically generating test cases given pre-supplied coverage goals (e.g., =-=[13, 29, 34, 37]-=-), but this research has not attempted to integrate the test case generation task with reuse of existing test cases for augmentation. In principle, any test case generation technique could be used to ...

Citation Context

...nput. We use one such tool, Randoop [13], in our evaluation, but there are many other examples utilizing automatic invariant detection [9], [40], symbolic execution [10], software version differences =-=[41]-=-, and static program analysis [8]. When automatically generated tests fail due to changes in the system under test, users rarely take the time to examine the failures in detail or repair the tests. In...

Citation Context

... related to changes and should be covered by tests. However, these approaches do not provide associated methods for generating actual test cases to cover the identified code. Three recent papers [4], =-=[14]-=-, [5] specifically address test suite augmentation. Two of these [4], [5] present an approach that combines dependence analysis and symbolic execution to identify test requirements that are likely to ...

Citation Context

...t scale well because the number of paths in a program is typically infinite or grows exponentially with the size of the program—a problem known as path explosion. Applications such as change analysis =-=[2,28,30]-=- and static invariantdiscovery [13, 36] are even more challenging because they require symbolically executing as many paths as possible between two points. One practical solution for analyzing how the...

Citation Context

...ing the locations potentially affected by a mutant. Modern change impact analysis [14] can do this in presence of subtyping and dynamic dispatch. The recent concept of differential symbolic execution =-=[13]-=- brings the promise of easily detecting potential impact of changes. All of these techniques are orthogonal to ours; indeed, if we can prove statically that a mutation will have no impact on control f...

Citation Context

...ently, Geldenhuys et al proposed the integration of symbolic execution with exact model counting techniques to estimate the probabilities of violating assertions along individual paths of the program =-=[13]-=-. The tool LattE was used to count lattice points, and thus estimate polyhedral volumes for the constraints obtained along each path [8]. Like Geldenhuys et al, the approach here also performs a symbo...

Citation Context

...he program change in this example. In contrast, our technique automatically constructs the input x = 3, which behaves differently in these two versions. Finally, differential symbolic execution (DSE) =-=[9]-=- uses static symbolic execution to characterize the effect of changes. Thus they form a summary of changes across program versions. The summaries are achieved by abstracting large same portions betwee...