3090 search results - page 152 / 618 » On Testing Answer-Set Programs |
114
click to vote
LOPSTR
2009
Springer
15 years 7 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 ...
107
click to vote
SODA
2010
ACM
15 years 12 months ago
2010
ACM
We consider the problem of testing whether the maximum additive integrality gap of a family of integer programs in standard form is bounded by a given constant. This can be viewed...
112
click to vote
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
Moving program code that implements cross-cutting concerns into aspects can improve the maintainability of legacy systems. This kind of refactoring, called aspectualization, can a...
109
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Several researchers are using evolutionary search methods to search for test data with which to test a program. The fitness or cost function depends on the test goal but almost in...
131
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...