456 search results - page 48 / 92 » Automated Generation of Context-Aware Tests |
PVLDB
2010
13 years 5 months ago
2010
As the amount of user generated content grows, personal information management has become a challenging problem. Several information management approaches, such as desktop search,...
ICCS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
CADE
2002
Springer
14 years 7 months ago
2002
Springer
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...
BELL
2000
13 years 7 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...