12272 search results - page 382 / 2455 » Experimental program analysis |
251
click to vote
ECOOP
1992
Springer
15 years 11 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
179
click to vote
DIMVA
2006
15 years 8 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...
161
click to vote
CACM
2010
15 years 6 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...
197
click to vote
ORL
2008
15 years 6 months ago
2008
We propose a sample average approximation (SAA) method for stochastic programming problems involving an expected value constraint. Such problems arise, for example, in portfolio s...
199
click to vote
ISAAC
2010
Springer
15 years 4 months ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...