9412 search results - page 88 / 1883 » An aspect-oriented generative approach |
143
click to vote
ECMDAFA
2009
Springer
16 years 27 days ago
2009
Springer
The size and the number of models is drastically increasing, preventing organizations from fully exploiting Model Driven Engineering benefits. Regarding this problem of scalabilit...
168
click to vote
CF
2009
ACM
16 years 25 days ago
2009
ACM
SIMT (Single-Instruction Multiple-Thread) is an emerging programming paradigm for high-performance computational accelerators, pioneered in current and next generation GPUs and hy...
148
click to vote
ISSRE
2008
IEEE
16 years 21 days ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
168
click to vote
QSIC
2003
IEEE
15 years 11 months ago
2003
IEEE
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...
170
click to vote
TAP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...