Sciweavers

3424 search results - page 322 / 685
» Automated Testing of Classes
Sort
View
158
Voted
LATA
2010
Springer
16 years 4 months ago
Untestable Properties Expressible with Four First-Order Quantifiers
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
Charles Jordan and Thomas Zeugmann
ICSM
2007
IEEE
16 years 1 months ago
Computation of Static Execute After Relation with Applications to Software Maintenance
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
Árpád Beszédes, Tamás ...
WACV
2005
IEEE
16 years 8 days ago
Gait Verification Using Probabilistic Methods
In this paper we describe a novel method for gait based identity verification based on Bayesian classification. The verification task is reduced to a two class problem (Client or ...
Alex I. Bazin, Mark S. Nixon
160
Voted
WETICE
2003
IEEE
15 years 12 months ago
A Network Worm Vaccine Architecture
The ability of worms to spread at rates that effectively preclude human-directed reaction has elevated them to a first-class security threat to distributed systems. We present th...
Stelios Sidiroglou, Angelos D. Keromytis
DATE
1999
IEEE
73views Hardware» more  DATE 1999»
15 years 11 months ago
Design For Testability Method for CML Digital Circuits
This paper presents a new Design for Testability (DFT) technique for Current-Mode Logic (CML) circuits. This new technique, with little overhead, using built-in detectors, monitor...
Bernard Antaki, Yvon Savaria, Nanhan Xiong, Saman ...