Sciweavers

1938 search results - page 22 / 388
» Dependable Software
Sort
View
IWPC
2010
IEEE
13 years 9 months ago
DepDigger: A Tool for Detecting Complex Low-Level Dependencies
We present a tool that identifies complex data-flow dependencies on code-level, based on the measure dep-degree. Low-level dependencies between program operations are modeled by...
Dirk Beyer, Ashgan Fararooy
VSTTE
2005
Springer
14 years 4 months ago
Toasters, Seat Belts, and Inferring Program Properties
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable softw...
David Evans
ISSTA
1998
ACM
14 years 3 months ago
Computation of Interprocedural Control Dependence
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha
CORR
2006
Springer
131views Education» more  CORR 2006»
13 years 11 months ago
Dependency Treebanks: Methods, Annotation Schemes and Tools
In this paper, current dependencybased treebanks are introduced and analyzed. The methods used for building the resources, the annotation schemes applied, and the tools used (such...
Tuomo Kakkonen