Sciweavers

502 search results - page 41 / 101
» Test pattern generation based on arithmetic operations
Sort
View
SRDS
2008
IEEE
15 years 8 months ago
Systematic Structural Testing of Firewall Policies
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. As the quality of protection provided by a firewall dire...
JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu
111
Voted
ASPDAC
2005
ACM
142views Hardware» more  ASPDAC 2005»
15 years 3 months ago
Bridging fault testability of BDD circuits
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...
Junhao Shi, Görschwin Fey, Rolf Drechsler
IPPS
1998
IEEE
15 years 6 months ago
Self-Testing Fault-Tolerant Real-Time Systems
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
M. Rooholamini, Seyed H. Hosseini
ISSRE
2005
IEEE
15 years 7 months ago
Testing Web Services by XML Perturbation
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
Wuzhi Xu, Jeff Offutt, Juan Luo
COMSWARE
2008
IEEE
15 years 8 months ago
Quantifying presence using calling patterns
—Presence technology is going to be an integral part of the next generation of communication technology. It can eliminate telephone tag between two parties (caller and callee), w...
Husain Husna, Santi Phithakkitnukoon, Enkh-Amgalan...