6800 search results - page 535 / 1360 » Testing with Functions as Specifications |
218
click to vote
ASM
2005
ASM
16 years 1 months ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
158
click to vote
BIRTHDAY
2005
Springer
16 years 1 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 ...
214
click to vote
CALCO
2005
Springer
16 years 1 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...
199
click to vote
EMO
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. While Single-Objective Evolutionary Algorithms (EAs) parallelization schemes are both well established and easy to implement, this is not the case for Multi-Objective Evo...
181
click to vote
ICIAR
2005
Springer
16 years 1 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...