1403 search results - page 13 / 281 » Quantitative Interprocedural Analysis |
ECCV
1996
Springer
14 years 10 months ago
1996
Springer
PLDI
2009
ACM
14 years 3 months 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...
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
ICCSA
2005
Springer
14 years 2 months ago
2005
Springer
There are standard risk analysis methodologies like GMITS and ISO17799, but new threats and vulnerabilities appear day by day because the IT organizations, its infrastructure, and ...
JLP
2010
13 years 3 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...