572 search results - page 9 / 115 » Functional Test Generation using Constraint Logic Programmin... |
EDCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
KBSE
2002
IEEE
14 years 1 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
LOPSTR
2009
Springer
14 years 1 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 ...
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...