Sciweavers

6941 search results - page 75 / 1389
» Testing as a Certification Approach
Sort
View
FATES
2006
Springer
13 years 11 months ago
A Test Calculus Framework Applied to Network Security Policies
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
Yliès Falcone, Jean-Claude Fernandez, Laure...
CSDA
2011
13 years 2 months ago
An affine invariant multiple test procedure for assessing multivariate normality
: A multiple test procedure for assessing multivariate normality (MVN) that combines a finite set of affine invariant test statistics for MVN is proposed. This combination is base...
Carlos Tenreiro
ISSTA
2006
ACM
14 years 1 months ago
Path-oriented random testing
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
Arnaud Gotlieb, Matthieu Petit
ISSTA
2006
ACM
14 years 1 months ago
A case study of automatically creating test suites from web application field data
Creating effective test cases is a difficult problem, especially for web applications. To comprehensively test a web application’s functionality, test cases must test complex a...
Sara Sprenkle, Emily Gibson, Sreedevi Sampath, Lor...
VTS
1997
IEEE
133views Hardware» more  VTS 1997»
13 years 12 months ago
ATPG for scan chain latches and flip-flops
A new approach for testing the bistable elements (latches and flip-flops) in scan chain circuits is presented. In this approach, we generate test patterns that apply a checking ex...
Samy Makar, Edward J. McCluskey