11160 search results - page 1992 / 2232 » Incompleteness in a General Setting |
162
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
195
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
172
click to vote
SCAM
2007
IEEE
16 years 27 days ago
2007
IEEE
Modern applications are becoming increasingly more dynamic and flexible. In Java software, one important flexibility mechanism is dynamic class loading. Unfortunately, the vast ...
144
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
In many settings Web services are now perceived as the first choice technology to provide neatly encapsulated functionality for Web-based computation. To date, many standards hav...
190
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...