4079 search results - page 417 / 816 » Differential Testing for Software |
154
Voted
ISSRE
2008
IEEE
16 years 20 days ago
2008
IEEE
A critical problem facing today’s internet community is the increasing number of attacks exploiting flaws found in Web applications. This paper specifically targets input valida...
130
click to vote
EUROPAR
1999
Springer
15 years 10 months ago
1999
Springer
This paper deals with the influence of hardware aspects of modern computer architectures to the design of software for numerical simulations. We present performance tests for vari...
148
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
An efficient method for the analysis of real 3D conjugate heat transfer for electronic devices is presented. This methodology is based on the coupling of two software : a conducti...
128
click to vote
C5
2006
IEEE
15 years 10 months ago
2006
IEEE
1 We propose a music generation software that allows large numbers of users to collaborate. In a virtual world, groups of users generate music simultaneously at different places i...
165
click to vote
SNPD
2008
15 years 7 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...