1518 search results - page 16 / 304 » Cryptographic Test Correction |
FMCO
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
WCE
2007
13 years 9 months ago
2007
This paper deals with the identification of best and optimized test cases in program components and software artifacts. Our purpose is to simulate the model on a sample software pr...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
LREC
2008
13 years 10 months ago
2008
This paper presents a context sensitive spell checking system that uses mixed trigram models, and introduces a new empirically grounded method for building confusion sets. The pro...
FM
2006
Springer
14 years 5 days ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...