452 search results - page 55 / 91 » An Active Approach to Automatic Case Generation |
JSS
2002
14 years 9 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
IJCAI
2007
14 years 11 months ago
2007
As any other problem solving task that employs search, AI Planning needs heuristics to efficiently guide the problem-space exploration. Machine learning (ML) provides several tec...
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
IV
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we present a new approach for using semantic wikis for collaborative patent search and annotation. We describe an extension that allows integrating interactive visua...
102
click to vote
CSMR
2002
IEEE
15 years 2 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...