3792 search results - page 115 / 759 » Techniques for Trusted Software Engineering |
129
Voted
EUROMICRO
1996
IEEE
15 years 7 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 ...
130
Voted
CSMR
2000
IEEE
15 years 8 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...
127
Voted
WCRE
2008
IEEE
15 years 10 months 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...
149
Voted
KBSE
2007
IEEE
15 years 10 months 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 ...
138
Voted
ICSM
2005
IEEE
15 years 9 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...