35 search results - page 3 / 7 » A static analyzer for large safety-critical software |
CSMR
2010
IEEE
13 years 11 days ago
2010
IEEE
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
SAC
2005
ACM
13 years 11 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
APSEC
2001
IEEE
13 years 9 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
WCRE
2006
IEEE
13 years 11 months ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
CC
2012
Springer
12 years 1 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...