108 search results - page 16 / 22 » Program Analysis with Dynamic Precision Adjustment |
CSMR
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
PLDI
1998
ACM
13 years 11 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
BMCBI
2008
13 years 7 months ago
2008
Background: There is accumulating evidence that the milieu of repeat elements and other nongenic sequence features at a given chromosomal locus, here defined as the genome environ...
PLDI
2005
ACM
14 years 28 days ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
ENTCS
2002
13 years 7 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...