2819 search results - page 418 / 564 » Automatic Structures |
131
Voted
CHI
2010
ACM
15 years 9 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
111
click to vote
IUI
2010
ACM
15 years 9 months ago
2010
ACM
In this paper, we present CoTester, a system designed to decrease the difficulty of testing web applications. CoTester allows testers to create test scripts that are represented ...
112
Voted
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
104
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
107
click to vote
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...