3424 search results - page 237 / 685 » Automated Testing of Classes |
217
Voted
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
194
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
192
click to vote
ASP
2005
Springer
16 years 11 days ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
160
Voted
ECML
2003
Springer
16 years 1 days ago
2003
Springer
Many machine learning tasks contain feature evaluation as one of its important components. This work is concerned with attribute estimation in the problems where class distribution...
206
click to vote
AADEBUG
2005
Springer
16 years 11 days ago
2005
Springer
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...