Sciweavers

1812 search results - page 69 / 363
» Test Early, Test Often
Sort
View
ICAS
2006
IEEE
137views Robotics» more  ICAS 2006»
15 years 3 months ago
SimuContext: Simply Simulate Context
Testing and demonstrating context-aware applications is challenging. Gathering and using ‘life’ contextual information for these purposes, often requires significant extra dev...
Tom Broens, Aart van Halteren
ICSE
2009
IEEE-ACM
15 years 10 months ago
Safe-commit analysis to facilitate team software development
Software development teams exchange source code in shared repositories. These repositories are kept consistent by having developers follow a commit policy, such as "Program e...
Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Re...
ITC
1998
IEEE
114views Hardware» more  ITC 1998»
15 years 2 months ago
BETSY: synthesizing circuits for a specified BIST environment
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
Zhe Zhao, Bahram Pouya, Nur A. Touba
TPHOL
2005
IEEE
15 years 3 months ago
A Structured Set of Higher-Order Problems
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
Christoph Benzmüller, Chad E. Brown
VTS
2006
IEEE
118views Hardware» more  VTS 2006»
15 years 3 months ago
X-IDDQ: A Novel Defect Detection Technique Using IDDQ Data
A statistical technique X-IDDQ for extracting defect information from IDDQ data is presented that is effective for detection of defects in ICs. The technique treats the IDDQ measu...
Ashutosh Sharma, Anura P. Jayasumana, Yashwant K. ...