246 search results - page 4 / 50 » Sampling-based program execution monitoring |
NDSS
2008
IEEE
14 years 1 months ago
2008
IEEE
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
SOFTVIS
2003
ACM
14 years 21 days ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures in the field, inferior performances, or, more generally,...
SEW
2003
IEEE
14 years 22 days ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
APSEC
1996
IEEE
13 years 11 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...