12745 search results - page 2375 / 2549 » Automating test automation |
142
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
120
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
173
Voted
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
153
click to vote
WISE
2009
Springer
16 years 1 months ago
2009
Springer
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...
137
Voted
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
Advances in the areas of embedded systems, computing, and networking are leading to an infrastructure composed of millions of heterogeneous devices. These devices will not simply ...