606 search results - page 43 / 122 » A Comparative Study of Industrial Static Analysis Tools |
94
Voted
EPEW
2008
Springer
15 years 2 months ago
2008
Springer
Embedded systems operating on high data workloads are becoming pervasive. ECA rule engines provide a flexible environment to support the management, reconfiguration and execution o...
128
click to vote
IWPC
2006
IEEE
15 years 6 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
118
Voted
SAS
1999
Springer
15 years 4 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
IWPC
2003
IEEE
15 years 5 months ago
2003
IEEE
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...
SAFECOMP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...