498 search results - page 76 / 100 » Software Metrics in Static Program Analysis |
CAV
2011
Springer
14 years 1 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 ...
LCTRTS
2010
Springer
15 years 2 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...
117
click to vote
PLDI
2003
ACM
15 years 2 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...
110
click to vote
ASE
2011
14 years 1 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...
SECON
2007
IEEE
15 years 3 months 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...