1655 search results - page 199 / 331 » Visual tool for generative programming |
110
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
104
click to vote
WCRE
2000
IEEE
15 years 6 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
143
click to vote
ASE
2005
15 years 2 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
113
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
110
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...