111 search results - page 23 / 23 » Compiling Reasoning with and about Preferences into Default ... |
143
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...