326 search results - page 4 / 66 » Interprocedural Control Flow Analysis |
149
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
124
click to vote
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
An interprocedural flow analysis can justify inlining in higher-order languages. In principle, more inlining can be performed as analysis accuracy improves. This paper compares fo...
114
Voted
PLDI
1999
ACM
15 years 7 months ago
1999
ACM
Whole program paths (WPP) are a new approach to capturing and representing a program’s dynamic—actually executed—control flow. Unlike other path profiling techniques, which ...
137
click to vote
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
In many application areas, including piracy detection, software debugging and maintenance, situations arise in which there is a need for comparing two versions of a program that d...
149
Voted
ICPP
2006
IEEE
15 years 9 months ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...