1715 search results - page 144 / 343 » Domain-Specific Program Checking |
ISSTA
2012
ACM
12 years 26 days ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
VTS
1997
IEEE
14 years 2 months ago
1997
IEEE
A new approach for testing the bistable elements (latches and flip-flops) in scan chain circuits is presented. In this approach, we generate test patterns that apply a checking ex...
ISCAS
1994
IEEE
14 years 2 months ago
1994
IEEE
Abstract - The general form of PBFs corresponding to one weight WM filters, which are a subclass of WM filters, is derived in this paper. Based on the results, it is straightforwar...
CAV
2006
Springer
14 years 2 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...