12745 search results - page 429 / 2549 » Automating test automation |
306
click to vote
XPS
1997
15 years 8 months ago
1997
The paper presents objectives and results of a series of case studies in computer support for diagnosis, failure mode and effects analysis, and the creation of repair manuals in t...
196
click to vote
IWMMDBMS
1996
15 years 8 months ago
1996
We introduce a constraint-driven methodology for the automated assembly, organization and playout of presentations from multimedia databases. We use inclusion and exclusion constr...
168
click to vote
SPLC
2007
15 years 8 months ago
2007
Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...
170
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
175
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
— Developing a problem-domain independent methodology to automatically generate high performing solving strategies for specific problems is one of the challenging trends on hype...