Results 211 to 220 of about 842,668 (260)

The ratio of equivalent mutants: A key to analyzing mutation equivalence

Journal of Systems and Software, 2021
Abstract Mutation testing is the art of generating syntactic versions (called mutants) of a base program, and is widely used in software testing, most notably the assessment of test suites. Mutants are useful only to the extent that they are semantically distinct from the base program, but some may well be semantically equivalent to the base program,
Imen Marsit, Amani Ayad, David Kim, Monsour Latif, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili 0001   +6 more
openaire   +1 more source

An overview of key papers preceding Sidman equivalence

Journal of the Experimental Analysis of Behavior, 2020
In behavior analysis, research on stimulus equivalence has been an area of high activity for more than 45 years. Murray Sidman's contribution was crucial in the development of this field, and, thus, it seems informative to highlight the experiments that were necessary in the development of the descriptive model of equivalence relations and behavior ...
Erik Arntzen, Per Stian Sætherbakken
openaire   +2 more sources

A Graph Theoretic Approach to Key Equivalence

2005
This paper is concerned with redundancy detection and elimination in databases via the solution of a key equivalence problem. The approach is related to the hardening of soft databases method due to Cohen et al., [4]. Here, the problem is described in graph theoretic terms. An appropriate optimization model is drawn and solved indirectly. This approach
J. Horacio Camacho, Abdellah Salhi, Qingfu Zhang 0001   +2 more
openaire   +1 more source

A key distribution system equivalent to factoring

Journal of Cryptology, 1988
We propose a variation of the Diffie and Hellman key distribution scheme for which we can prove that decryption of a single key requires the ability to factor a number that is the product of two large primes. The practical advantage of such a scheme is that it will still be secure if the cryptanalyst knows a very fast algorithm for either factoring or ...
openaire   +2 more sources

Cryptanalysis of 256-Bit Key HyRAL via Equivalent Keys

2012
HyRAL is a blockcipher whose block size is 128 bits, and it supports the key lengths of 128, 129, …,256 bits. The cipher was proposed for the CRYPTREC project, and previous analyses did not identify any security weaknesses. In this paper, we consider the longest key version, 256-bit key HyRAL, and present the analysis in terms of equivalent keys. First,
Yuki Asano, Shingo Yanagihara, Tetsu Iwata   +2 more
openaire   +1 more source

Signatures with Flexible Public Key: Introducing Equivalence Classes for Public Keys

2018
We introduce a new cryptographic primitive called signatures with flexible public key (SFPK). We divide the key space into equivalence classes induced by a relation R. A signer can efficiently change his or her key pair to a different representative of the same class, but without a trapdoor it is hard to distinguish if two public keys are related.
Michael Backes 0001, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider 0001   +3 more
openaire   +2 more sources

Key equivalence in heterogeneous databases

[1991] Proceedings. First International Workshop on Interoperability in Multidatabase Systems, 2002
Semantic heterogeneity in heterogeneous databases (HDBs) has been recognized as a difficult problem. One of the probable causes of the little progress made in this area is the lack of well-defined subproblems that individual researchers can attack and achieve results. The author formulates the key equivalence problem in HDBs.
openaire   +1 more source

Equivalence in the EU: Key Requirements, Equivalence Decision, and Legal Consequences

2023
AbstractThe second chapter provides an in-depth analysis of EU equivalence regimes and is divided into three parts. The first part identifies the key requirements of equivalence provisions and discusses whether equivalence can be referred to as a uniform concept.
openaire   +1 more source