Sciweavers

24 search results - page 1 / 5
» Variants of Validity and their Impact on the Overall Test Sp...
Sort
View
FLAIRS
1998
13 years 6 months ago
Variants of Validity and their Impact on the Overall Test Space
Dealingwiththequestionwhetherornota givensystemdoessulllcesomeinterestingpropertyoneisconfrontedwiththeproblem,how tonavigateappropriatelythroughtheavailable knowledgespacetoprove...
Jörg Herrmann, Klaus P. Jantke, Rainer Knauf
MTV
2005
IEEE
81views Hardware» more  MTV 2005»
13 years 11 months ago
Search-Space Optimizations for High-Level ATPG
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...
Jorge Campos, Hussain Al-Asaad
ICSM
2005
IEEE
13 years 11 months ago
A Safe Regression Test Selection Technique for Database-Driven Applications
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
David Willmor, Suzanne M. Embury
CMOT
2000
94views more  CMOT 2000»
13 years 5 months ago
Performance of Organizational Design Models and Their Impact on Organization Learning
Theperformanceofvariousorganizationalstructuresisanessentialparameterinthereengineeringoforganizations, particularly in the current rapidly changing, competitive and information t...
Aris M. Ouksel, Ronald Vyhmeister
BICA
2010
13 years 6 days ago
Validating a High Level Behavioral Representation Language (HERBAL): A Docking Study for ACT-R
We present a docking study for Herbal, a high-level behavioral representation language based on the problem space computational model. This study docks an ACT-R model created with ...
Changkun Zhao, Jaehyon Paik, Jonathan H. Morgan, F...