732 search results - page 74 / 147 » Automated Test Generation from Models Based on Functional So... |
TASLP
2011
13 years 3 months ago
2011
—This paper presents a novel student model intended to automate word-list-based reading assessments in a classroom setting, specifically for a student population that includes b...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a test suite with respect to some criteria. Emerging trends in software developm...
PROFES
2001
Springer
14 years 1 months ago
2001
Springer
New information is obtained by research and disseminated by papers in conferences and journals. The synthesis of knowledge depends upon social discourse among the experts in a give...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
BIOINFORMATICS
2012
11 years 11 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...