نتایج جستجو برای: ii stochastic methods
تعداد نتایج: 2473188 فیلتر نتایج به سال:
Journal:
:The Annals of Mathematical Statistics
1954
Journal:
:Electronic Journal of Probability
2011
Journal:
:Journal of Computational Mathematics
2023
Journal:
:SIAM Journal on Optimization
2017
2003
NICOLAE GOGA
This paper describes a way to compute the coverage for an on-the-fly test generation algorithm based on a probabilistic approach. The on-the-fly test generation and execution process and the development process of an implementation from a specification are viewed as stochastic processes. The probabilities of the stochastic processes are integrated in a generalized definition of coverage. The ge...
Journal:
:Mathematics of Computation
2016
Journal:
:Mathematical Programming
1987
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید