6941 search results - page 809 / 1389 » Testing as a Certification Approach |
190
click to vote
USS
2008
15 years 9 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
244
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
In this paper, the results of a semi-supervised approach based on the Expectation-Maximisation algorithm for model-based clustering are presented. We show in this work that, if th...
159
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
This work outlines two approaches for small unmanned aerial vehicles (UAVs) performing surveillance with fixed cameras. Small UAVs present significant control challenges, due to re...
182
click to vote
AICCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
To excite a stuck-open fault in a CMOS combinational circuit, it is only necessary that the output of the gate containing the fault takes on opposite values during the application...
187
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
While there is a broad theoretic foundation for creating computational players for two-player games, such as Chess, the multi-player domain is not as well explored. We make an att...