Sciweavers

5855 search results - page 403 / 1171
» Test generation and minimization with
Sort
View
TEC
2010
129views more  TEC 2010»
15 years 1 months ago
Expensive Multiobjective Optimization by MOEA/D With Gaussian Process Model
In some expensive multiobjective optimization problems, several function evaluations can be carried out at one time. Therefore, it is very desirable to develop methods which can g...
Qingfu Zhang, Wudong Liu, Edward P. K. Tsang, Boto...
ITC
2003
IEEE
106views Hardware» more  ITC 2003»
16 years 4 days ago
Detection of Resistive Shorts in Deep Sub-micron Technologies
Current-based tests are the most effective methods available to detect resistive shorts. Delta IDDQ testing is the most sensitive variant and can handle off-state currents of 10-1...
Bram Kruseman, Stefan van den Oetelaar
ASWEC
2010
IEEE
15 years 7 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
PLDI
2012
ACM
13 years 9 months ago
Fully automatic and precise detection of thread safety violations
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
Michael Pradel, Thomas R. Gross
ICML
2008
IEEE
16 years 7 months ago
Structure compilation: trading structure for features
Structured models often achieve excellent performance but can be slow at test time. We investigate structure compilation, where we replace structure with features, which are often...
Dan Klein, Hal Daumé III, Percy Liang