3792 search results - page 115 / 759 » Techniques for Trusted Software Engineering |
154
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
Signature based error detection techniques (e.g. the application of watchdog processors) can be easily extended to support software debugging. The run-time sequence of signatures ...
157
click to vote
CSMR
2000
IEEE
15 years 10 months ago
2000
IEEE
Better understanding manual reverse engineering can make it and any associated systems reengineering more effective. We reverse engineered a version of a system (referred to as &q...
153
click to vote
WCRE
2008
IEEE
16 years 11 days ago
2008
IEEE
We present the metric lens, a new visualization of methodlevel code metrics atop UML class diagrams, which allows performing metric-metric and metric-structure correlations on lar...
220
click to vote
KBSE
2007
IEEE
16 years 8 days ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
167
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
Large-scale legacy programs take long time to compile, thereby hampering productivity. This paper presents algorithms that reduce compilation time by analyzing syntactic dependenc...