Sciweavers

50 search results - page 5 / 10
» Residual Test Coverage Monitoring
Sort
View
ICCAD
2000
IEEE
137views Hardware» more  ICCAD 2000»
15 years 1 months ago
Smart Simulation Using Collaborative Formal and Simulation Engines
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James ...
84
Voted
JSS
2008
90views more  JSS 2008»
14 years 9 months ago
Early quality monitoring in the development of real-time reactive systems
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
Olga Ormandjieva, Vangalur S. Alagar, Mao Zheng
TCOM
2010
220views more  TCOM 2010»
14 years 7 months ago
Fiber fault PON monitoring using optical coding: Effects of customer geographic distribution
Abstract—We analyze the performance of fiber fault monitoring of a PON using a centralized, passive optical coding (OC) system. We develop an expression for the detected monitor...
Mohammad M. Rad, Habib Fathallah, Leslie A. Rusch
TOOLS
2010
IEEE
15 years 2 months ago
Contract-Driven Testing of JavaScript Code
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
Phillip Heidegger, Peter Thiemann
DFT
1997
IEEE
108views VLSI» more  DFT 1997»
15 years 1 months ago
Generation and Verification of Tests for Analogue Circuits Subject to Process Parameter Deviations
The paper presents a test pattern generation and fault simulation methodology for the detection of catastrophic faults in analogue circuits. The test methodology chosen for evalua...
Stephen J. Spinks, Chris D. Chalk, Ian M. Bell, Ma...