6704 search results - page 106 / 1341 » Testing Scenario-Based Models |
127
click to vote
APCCM
2008
15 years 3 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
253
click to vote
SBP
2011
Springer
14 years 9 months ago
2011
Springer
Public health-related topics are difficult to identify in large conversational datasets like Twitter. This study examines how to model and discover public health topics and themes ...
101
click to vote
PTS
2010
15 years 23 days ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper argues that the existing approaches to modeling and characterization of IC malfunctions are inadequate for test and yield learning of Deep Sub-Micron (DSM) products. Tr...
129
click to vote
PTS
2003
15 years 3 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...