2132 search results - page 113 / 427 » Automated software winnowing |
AAAI
1992
15 years 10 days ago
1992
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
169
click to vote
ICDE
2006
IEEE
16 years 16 days ago
2006
IEEE
In order to support continuous queries over data streams, a plethora of suitable techniques as well as prototypes have been developed and evaluated in recent years. In particular,...
106
click to vote
SOCO
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Bridging problem domain and solution in product line engineering is a time-consuming and error-prone process. Since both domains are structured differently (features vs....
LPNMR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
103
click to vote
ICSE
2001
IEEE-ACM
15 years 3 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...