957 search results - page 2 / 192 » Modular Static Program Analysis |
KBSE
1997
IEEE
13 years 9 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
ICSE
2009
IEEE-ACM
14 years 6 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
CSMR
2004
IEEE
13 years 9 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
VMCAI
2009
Springer
14 years 4 days ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
ECOOP
1999
Springer
13 years 9 months ago
1999
Springer
