612 search results - page 54 / 123 » Using Static Analysis to Improve Automatic Test Generation |
CC
2001
Springer
15 years 4 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
Modern worms can spread so quickly that any countermeasure based on human reaction might not be fast enough. Recent research has focused on devising algorithms to automatically pr...
WSC
1997
15 years 1 months ago
1997
This article discusses implementation issues for the LBATCH and ABATCH batch means procedures of Fishman and Yarberry (1997). Theses procedures dynamically increase the batch size...
119
click to vote
VLDB
1994
ACM
15 years 3 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present a hierarchical, learning-based approach for automatic and accurate liver segmentation from 3D CT volumes. We target CT volumes that come from largely dive...