1492 search results - page 48 / 299 » Testing Properties of Constraint-Graphs |
108
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
131
Voted
ECCC
2010
15 years 2 months ago
2010
In this paper we study polynomial identity testing of sums of k read-once algebraic branching programs (Σk-RO-ABPs), generalizing the work of Shpilka and Volkovich [1, 2], who co...
265
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
126
Voted
VTS
2007
IEEE
15 years 9 months ago
2007
IEEE
We describe estimation of the parameters of a manufacturing test and repair model using data available from that test. The model allows imperfect testing and imperfect repair. The...
125
click to vote
SEKE
2007
Springer
15 years 9 months ago
2007
Springer
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...