Sciweavers

4079 search results - page 225 / 816
» Differential Testing for Software
Sort
View
FSE
1998
Springer
79views Cryptology» more  FSE 1998»
14 years 1 months ago
On the Design and Security of RC2
The block cipher RC2 was designed in 1989 by Ron Rivest for RSA Data Security Inc. In this paper we describe both the cipher and preliminary attempts to use both differential and l...
Lars R. Knudsen, Vincent Rijmen, Ronald L. Rivest,...
USS
2008
13 years 12 months ago
Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...
Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, La...
EXPCS
2007
14 years 1 months ago
EXACT: the experimental algorithmics computational toolkit
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
William E. Hart, Jonathan W. Berry, Robert T. Heap...
HICSS
2007
IEEE
164views Biometrics» more  HICSS 2007»
14 years 4 months ago
A Multipurpose Code Coverage Tool for Java
Most test coverage analyzers help in evaluating the effectiveness of testing by providing data on statement and branch coverage achieved during testing. If made available, the cov...
Raghu Lingampally, Atul Gupta, Pankaj Jalote
IWPSE
2010
IEEE
13 years 7 months ago
An automated hint generation approach for supporting the evolution of requirements specifications
Updating the requirements specification during software evolution is a manual and expensive task. Therefore, software engineers usually choose to apply modifications directly to t...
Eya Ben Charrada, Martin Glinz