785 search results - page 101 / 157 » Static Analysis of Android Programs |
116
click to vote
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
Static program checking tools can ļ¬nd many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
104
click to vote
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
129
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
129
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-ļ¬nding, speciļ¬cation inference, veriļ¬cation, and test generation. This paper addresses demand-driven symbolic analysi...