758 search results - page 30 / 152 » Pattern-Constrained Test Case Generation |
TAICPART
2010
IEEE
14 years 8 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
64
Voted
COMCOM
1999
14 years 9 months ago
1999
If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and von Bochmann [1992] and Ghedamsi et al...
70
Voted
ICST
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
73
Voted
DATE
2007
IEEE
15 years 3 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
SOCIALCOM
2010
14 years 7 months ago
2010
Online communities are connecting large numbers of individuals and generating rich social network data, opening the way for empirical studies of social behavior. In this paper, we ...