3889 search results - page 291 / 778 » The Use of Program Dependence Graphs in Software Engineering |
141
click to vote
SIGSOFT
1998
ACM
15 years 9 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
139
click to vote
METRICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
165
click to vote
APSEC
1996
IEEE
15 years 9 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
130
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
120
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Patching technologies are commonly applied to improve the dependability of software after release. This paper proposes an autonomous hot patching (AHP) framework to fully automate...