1518 search results - page 67 / 304 » Cryptographic Test Correction |
111
Voted
TSE
2010
14 years 11 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
81
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
117
click to vote
SBMF
2009
Springer
15 years 7 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
114
Voted
VL
1999
IEEE
15 years 4 months ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
153
click to vote
FATES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...