108 search results - page 4 / 22 » A Generic Approach of Static Analysis for Detecting Runtime ... |
MPC
2004
Springer
13 years 11 months ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
SAS
2009
Springer
14 years 6 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
COMPSAC
2008
IEEE
14 years 7 days ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
CAV
2009
Springer
14 years 6 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
COMPSAC
2009
IEEE
14 years 16 days ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...