5434 search results - page 331 / 1087 » Tool support for MOLA |
203
click to vote
GG
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
184
click to vote
ICST
2010
IEEE
15 years 5 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...
161
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architectu...
219
click to vote
LREC
2010
15 years 5 months ago
2010
Availability of labeled language resources, such as annotated corpora and domain dependent labeled language resources is crucial for experiments in the field of Natural Language ...
214
click to vote
TAICPART
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...