5855 search results - page 85 / 1171 » Test generation and minimization with |
123
click to vote
ICWE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
118
click to vote
ICALT
2010
IEEE
15 years 2 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 ...
112
click to vote
KBSE
2008
IEEE
15 years 7 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 ...
128
click to vote
ASWEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
110
click to vote
ISSRE
2006
IEEE
15 years 7 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...