3527 search results - page 240 / 706 » Test Automation in Practice |
133
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Checking requirements is highly desirable but hard to achieve in practice, where only word processors are used in most projects. While in this case reviews are more or le...
155
click to vote
KR
1992
Springer
15 years 10 months ago
1992
Springer
We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have co...
153
click to vote
KR
2000
Springer
15 years 9 months ago
2000
Springer
This paper makes three observations with regard to the application of algorithms such as wsat and relsat to problems of practical interest. First, we identify a specific calculati...
144
click to vote
DLOG
2006
15 years 7 months ago
2006
We propose a technique to make consistency detection scalable for large Aboxes in secondary storage. We use static analysis of knowledge representation with summarization techniqu...
179
click to vote
FCT
2009
Springer
16 years 14 days ago
2009
Springer
Suppose that we are given a set of n elements d of which are “defective”. A group test can check for any subset, called a pool, whether it contains a defective. It is well know...