4276 search results - page 783 / 856 » Techniques for Empirical Validation |
ICMCS
1999
IEEE
14 years 2 months ago
1999
IEEE
With the growing popularity of the Internet, there is increasing interest in using it for audio and video transmission. Periodic network overloads, leading to bursty packet losses...
ECOOP
1999
Springer
14 years 2 months ago
1999
Springer
Many Java programmers believe they do not have to worry about memory management because of automatic garbage collection. In fact, many Java programs run out of memory unexpectedly ...
AMOST
2007
ACM
14 years 2 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
PET
2010
Springer
14 years 2 months ago
2010
Springer
As the amount of personal information stored at remote service providers increases, so does the danger of data theft. When connections to remote services are made in the clear and ...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...