22 search results - page 2 / 5 » Refusal Testing for Classes of Transition Systems with Input... |
FM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
ICSE
2004
IEEE-ACM
14 years 5 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
JHSN
2000
13 years 4 months ago
2000
A shaper is a system that stores incoming bits in a bu er and delivers them as early as possible, while forcing the output to be constrained with a given arrival curve. A shaper i...
PTS
2007
13 years 6 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
ICPR
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper presents a new approach to generate biometric hash values based on statistical features in online signature signals. Whilst the output of typical online signature verif...