606 search results - page 2 / 122 » A Comparative Study of Industrial Static Analysis Tools |
XPU
2007
Springer
13 years 11 months ago
2007
Springer
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
ECRTS
2005
IEEE
13 years 11 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
ISORC
2007
IEEE
13 years 11 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
CASCON
2007
13 years 6 months ago
2007
Static analysis tools tend to generate more alerts than a development team can reasonably examine without some form of guidance. In this paper, we propose a technique for leveragi...
PASTE
2005
ACM
13 years 11 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...