3736 search results - page 89 / 748 » Generative Programming |
113
click to vote
LOPSTR
2009
Springer
15 years 6 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 ...
116
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
119
click to vote
CPAIOR
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present a destructive lower bound for a number of resource constrained project scheduling (RCPS) problems, which is based on column generation. We first look at t...
124
Voted
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
117
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...