Sciweavers

2312 search results - page 155 / 463
» Invariance in Property Testing
Sort
View
ICANN
2010
Springer
15 years 5 months ago
A Learned Saliency Predictor for Dynamic Natural Scenes
Abstract. We investigate the extent to which eye movements in natural dynamic scenes can be predicted with a simple model of bottom-up saliency, which learns on different visual re...
Eleonora Vig, Michael Dorr, Thomas Martinetz, Erha...
ITC
2003
IEEE
170views Hardware» more  ITC 2003»
15 years 9 months ago
Double-Tree Scan: A Novel Low-Power Scan-Path Architecture
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...
Bhargab B. Bhattacharya, Sharad C. Seth, Sheng Zha...
CEC
2007
IEEE
15 years 10 months ago
Estimation of distribution algorithms for testing object oriented software
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
Ramón Sagarna, Andrea Arcuri, Xin Yao
HYBRID
2007
Springer
15 years 10 months ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...
MTV
2006
IEEE
98views Hardware» more  MTV 2006»
15 years 10 months ago
Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
Heon-Mo Koo, Prabhat Mishra, Jayanta Bhadra, Magdy...