492 search results - page 59 / 99 » XML graphs in program analysis |
122
click to vote
GD
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. As graphics processors become powerful, ubiquitous and easier to program, they have also become more amenable to general purpose high-performance computing, including the...
TSE
2008
15 years 1 months ago
2008
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...
ICSM
2003
IEEE
15 years 7 months ago
2003
IEEE
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...
109
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
AIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...