1399 search results - page 42 / 280 » Verification of Test Suites |
117
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
156
click to vote
SIES
2010
IEEE
15 years 1 months ago
2010
IEEE
The aim of this paper is to introduce LinCAN, a CAN driver system for Linux, developed at the Department of Control Engineering of the Czech Technical University in Prague, and to ...
122
click to vote
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
134
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
110
click to vote
ICFHR
2010
14 years 11 months ago
2010
Abstract--Doodle-based graphical passwords represent a challenging scenario due to their high variability and the tendency to be graphically simple. Despite this, doodle-based auth...