4079 search results - page 545 / 816 » Differential Testing for Software |
151
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
121
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents an attempt of using intelligent agents for testing and repairing a distributed system, whose elements may or may not have embedded BIST (Built-In Self-Test) an...
156
click to vote
FGR
2004
IEEE
15 years 8 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 ...
154
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
136
click to vote
FORTE
2008
15 years 6 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...