2419 search results - page 202 / 484 » A Formal Approach to Software Testing |
132
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
155
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
134
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
149
click to vote
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper discusses a novel approach for capturing and translating isolated gestures of American Sign Language into spoken and written words. The instrumented part of the system ...
127
click to vote
ISPW
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...