4757 search results - page 530 / 952 » Monads for Functional Programming |
151
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often t...
146
click to vote
GI
2004
Springer
16 years 6 days ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
178
click to vote
LOPSTR
2004
Springer
16 years 5 days ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
146
click to vote
SIGADA
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
148
click to vote
ATS
2003
IEEE
16 years 3 days ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...