498 search results - page 76 / 100 » Software Metrics in Static Program Analysis |
180
click to vote
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
168
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...
207
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
184
click to vote
ASE
2011
14 years 9 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
184
click to vote
SECON
2007
IEEE
16 years 6 days ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...