Sciweavers

5855 search results - page 306 / 1171
» Test generation and minimization with
Sort
View
RE
2004
Springer
16 years 2 days ago
RETNA: From Requirements to Testing in a Natural Way
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay,...
CSB
2003
IEEE
111views Bioinformatics» more  CSB 2003»
16 years 18 hour ago
A Contradiction-Based Framework for Testing Gene Regulation Hypotheses
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
Steve Racunas, Nigam Shah, Nina V. Fedoroff
ATS
2000
IEEE
149views Hardware» more  ATS 2000»
15 years 11 months ago
Charge sharing fault analysis and testing for CMOS domino logic circuits
Because domino logic design offers smaller area and faster delay than conventional CMOS design, it is very popular in the high-performance processor design. However, domino logic ...
Ching-Hwa Cheng, Wen-Ben Jone, Jinn-Shyan Wang, Sh...
SIGECOM
2000
ACM
127views ECommerce» more  SIGECOM 2000»
15 years 11 months ago
Towards a universal test suite for combinatorial auction algorithms
General combinatorial auctions—auctions in which bidders place unrestricted bids for bundles of goods—are the subject of increasing study. Much of this work has focused on alg...
Kevin Leyton-Brown, Mark Pearson, Yoav Shoham
SIGSOFT
2010
ACM
15 years 4 months ago
Updating requirements from tests during maintenance and evolution
Keeping requirements specification up-to-date during the evolution of a software system is an expensive task. Consequently, specifications are usually not updated and rapidly beco...
Eya Ben Charrada