792 search results - page 81 / 159 » Static Analysis of XSLT Programs |
126
Voted
DIMVA
2006
15 years 4 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
113
Voted
IWPC
2006
IEEE
15 years 8 months ago
2006
IEEE
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...
121
Voted
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
111
Voted
IWPC
1996
IEEE
15 years 6 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...
101
Voted
STTT
2002
15 years 2 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...