3342 search results - page 38 / 669 » Symbolic Robustness Analysis |
172
click to vote
PLDI
2009
ACM
16 years 9 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
124
click to vote
KBSE
2009
IEEE
16 years 7 days ago
2009
IEEE
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...
131
click to vote
IJBC
2010
15 years 2 months ago
2010
This paper introduces an extension of recurrence analysis to symbolic sequences. Heuristic arguments based on Shannon-McMillan-Breiman theorem suggest several relations between th...
143
click to vote
JUCS
2008
15 years 5 months ago
2008
: This paper deals with a progressive learning method for symbol recognition which improves its own recognition rate when new symbols are recognized in graphic documents. We propos...
130
click to vote
DATE
1998
IEEE
15 years 9 months ago
1998
IEEE
Partial Scan techniques have been widely accepted as an effective solution to improve sequential ATPG performance while keeping acceptable area and performance overheads. Several ...