35 search results - page 5 / 7 » A Formal Framework for Program Anomaly Detection |
115
click to vote
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
101
click to vote
PPOPP
2003
ACM
15 years 5 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
120
click to vote
TAP
2010
Springer
14 years 10 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
105
click to vote
ASPDAC
1998
ACM
15 years 4 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
117
click to vote
CLA
2006
15 years 1 months ago
2006
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...