Sciweavers

493 search results - page 45 / 99
» The oracle penalty method
Sort
View
ISSRE
2003
IEEE
14 years 2 months ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
Clémentine Nebut, Franck Fleurey, Yves Le T...
CRYPTO
2000
Springer
139views Cryptology» more  CRYPTO 2000»
14 years 1 months ago
On the Exact Security of Full Domain Hash
Abstract. The Full Domain Hash (FDH) scheme is a RSA-based signature scheme in which the message is hashed onto the full domain of the RSA function. The FDH scheme is provably secu...
Jean-Sébastien Coron
GI
2000
Springer
14 years 19 days ago
Taming the Tiger: How to Cope with Real Database Products in Transactional Federations for Internet Applications
Data consistency in transactional federations is a key requirement of advanced E-service applications on the Internet, such as electronic auctions or real-estate purchase. Federat...
Ralf Schenkel, Gerhard Weikum
ACL
2008
13 years 10 months ago
Machine Translation System Combination using ITG-based Alignments
Given several systems' automatic translations of the same sentence, we show how to combine them into a confusion network, whose various paths represent composite translations...
Damianos Karakos, Jason Eisner, Sanjeev Khudanpur,...
SNPD
2004
13 years 10 months ago
Metamorphic Testing and Testing with Special Values
The problem of testing programs without test oracles is well known. A commonly used approach is to use special values in testing but this is often insufficient to ensure program c...
Tsong Yueh Chen, Fei-Ching Kuo, Ying Liu, Antony T...