Sciweavers

6941 search results - page 225 / 1389
» Testing as a Certification Approach
Sort
View
COMPSAC
2008
IEEE
13 years 8 months ago
Superfit Combinational Elusive Bug Detection
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In Bounded Exhaustive Testing (BET) all combinations are te...
R. Barzin, S. Fukushima, William E. Howden, S. Sha...
ASWEC
2010
IEEE
13 years 8 months ago
Scenario-Based Validation: Beyond the User Requirements Notation
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
Dave Arnold, Jean-Pierre Corriveau, Wei Shi
ITC
2002
IEEE
143views Hardware» more  ITC 2002»
14 years 1 months ago
BIST-Based Diagnosis of FPGA Interconnect
: We present a Built-In Self-Test (BIST)-based diagnostic approach for the programmable interconnect resources in Field Programmable Gate Arrays (FPGAs) that can be used for either...
Charles E. Stroud, Jeremy Nall, Matthew Lashinsky,...
TEC
2012
197views Formal Methods» more  TEC 2012»
11 years 10 months ago
Improving Generalization Performance in Co-Evolutionary Learning
Recently, the generalization framework in co-evolutionary learning has been theoretically formulated and demonstrated in the context of game-playing. Generalization performance of...
Siang Yew Chong, Peter Tino, Day Chyi Ku, Xin Yao
AMOST
2007
ACM
14 years 5 days ago
Achieving both model and code coverage with automated gray-box testing
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Till...