620 search results - page 5 / 124 » Abstract Analysis of Symbolic Executions |
AUTOMATICA
2008
13 years 7 months ago
2008
screte abstractions Gr
TACAS
2004
Springer
14 years 21 days ago
2004
Springer
PLDI
2010
ACM
14 years 13 days ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
TAP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
ICCD
1993
IEEE
13 years 11 months ago
1993
IEEE
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...