Sciweavers

6941 search results - page 75 / 1389
» Testing as a Certification Approach
Sort
View
FATES
2006
Springer
15 years 1 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
14 years 4 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
15 years 3 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
15 years 3 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»
15 years 2 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