4299 search results - page 88 / 860 » Concurrent Test Generation |
127
click to vote
ICALT
2010
IEEE
15 years 3 months ago
2010
IEEE
In this study I use statistical Natural Language Processing and adapted Controlled Language methods to preprocess individual documents before they are used as source documents for ...
123
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
122
Voted
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
116
click to vote
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
A technique to derive test vectors that exercise the worstcase delay effects in a domino circuit in the presence of crosstalk is described. A model for characterizing the delay of...
108
Voted
PTS
2007
15 years 4 months ago
2007
Interoperability testing aims at verifying the possibility for two or more components to communicate correctly while providing the foreseen services. In this paper, we describe a n...