3547 search results - page 404 / 710 » Pseudo-Exhaustive Testing for Software |
191
click to vote
PPPJ
2003
ACM
16 years 1 days ago
2003
ACM
We report on a continuing study into teaching programming to pre-teens school-children, with some as young as seven years old. As part of the study we aim to test childrens’ alg...
176
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in o...
143
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
152
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we describe a real-time face-tracking algorithm. We start with single face tracking based on statistical color modeling and the deformable template. We then expand ...
191
click to vote
ICSM
1998
IEEE
15 years 11 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...