606 search results - page 3 / 122 » A Comparative Study of Industrial Static Analysis Tools |
COMSWARE
2006
IEEE
13 years 11 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
FMICS
2009
Springer
14 years 10 days ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
ISQED
2006
IEEE
13 years 11 months ago
2006
IEEE
— A methodology is proposed for interdependent setup time and hold time characterization of sequential circuits. Integrating the methodology into an industrial sign-off static ti...
RE
2005
Springer
13 years 11 months ago
2005
Springer
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
DKE
2011
12 years 9 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...