3889 search results - page 318 / 778 » The Use of Program Dependence Graphs in Software Engineering |
157
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
119
Voted
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
175
click to vote
EWSN
2008
Springer
16 years 4 months ago
2008
Springer
Wireless Sensor Networks (WSNs) are increasingly being proposed in scenarios whose requirements cannot be fully predicted, or where the system functionality must adapt to changing ...
123
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
147
Voted
SIGSOFT
1998
ACM
15 years 9 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...