4167 search results - page 452 / 834 » Evolutionary functional testing |
116
Voted
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
160
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
138
Voted
ICIAR
2005
Springer
15 years 10 months ago
2005
Springer
Digital images are increasingly being used as steganographic covers for secret communication. The Least Significant Bit (LSB) encoding is one of the most widely used methods for e...
127
click to vote
VTS
2003
IEEE
15 years 10 months ago
2003
IEEE
Delay faults are an increasingly important test challenge. Traditional open and bridge fault models are incomplete because only the functional fault or a subset of delay fault are...
140
Voted
TSD
2001
Springer
15 years 9 months ago
2001
Springer
The Internet offers remote access to many information systems to users independent of time and location. This paper describes an agent based approach to deal with issues that rise ...