3889 search results - page 283 / 778 » The Use of Program Dependence Graphs in Software Engineering |
140
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
133
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...
121
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
147
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
There exist numerous software visualization techniques that aim to facilitate program comprehension. One of the main concerns in every such software visualization is to identify r...
195
click to vote
DB
2008
15 years 4 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...