3031 search results - page 95 / 607 » Model Driven Testing Based on Test History |
89
Voted
ICANN
2001
Springer
2001
Springer
Learning and Prediction of the Nonlinear Dynamics of Biological Neurons with Support Vector Machines
15 years 5 months ago
Based on biological data we examine the ability of Support Vector Machines (SVMs) with gaussian kernels to learn and predict the nonlinear dynamics of single biological neurons. We...
107
click to vote
ATS
2009
IEEE
15 years 5 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...
96
Voted
FORTE
2000
15 years 2 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
112
Voted
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
132
Voted
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...