11 search results - page 1 / 3 » lopstr 2009 |
LOPSTR
2009
Springer
13 years 11 months ago
2009
Springer
LOPSTR
2009
Springer
13 years 9 months ago
2009
Springer
LOPSTR
2009
Springer
13 years 9 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
LOPSTR
2009
Springer
13 years 11 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
LOPSTR
2009
Springer
13 years 11 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...