6348 search results - page 1135 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton’s iterated fixed point algorithm with...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...
ISSRE
2006
IEEE
14 years 2 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...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
In this paper we present an investigation into the run-time behaviour of objects in Java programs, using specially adapted coupling metrics. We identify objects from the same clas...