Search results
11 lip 2021 · The generated tests check numerical code for accuracy, robustness and functional behavior bugs. Our technique is based on formulating test case and oracle generation as a constraint satisfaction problem over interval domains, which soundly bounds errors, but is nonetheless efficient.
31 sie 2023 · What must be tested? How can we devise relevant test cases for unit testing? How can we ensure a high (and possibly 100%) test coverage? Before considering these questions, we briefly recall the main features of interval arithmetic and of the IEEE 1788-2015 standard for interval arithmetic.
21 cze 2024 · In this work, we evaluate whether the computational cost of interval analysis yields significant enough improvements in BMC's performance to justify its use.
Interval Computations: Introduction and Technical issues. Interval Computations: Introduction (pdf file; see also the following page); interval movie(in MPEG); B. Hayes, A Lucid Interval, American Scientist,2003, Vol. 91, No. 6, pp. 484-488. provides an intro based onround-off errors.
1 wrz 2000 · open archive. Abstract. We give an overview on applications of interval arithmetic. Among others we discuss verification methods for linear systems of equations, nonlinear systems, the algebraic eigenvalue problem, initial value problems for ODEs and boundary value problems for elliptic PDEs of second order.
20 sty 2015 · We present a novel integer interval abstract domain that correctly handles wrap-around. The analysis is signedness agnostic. By treating integers as strings of bits, only considering signedness for operations that treat them differently, we produce precise, correct results at a modest cost in execution time.
1 paź 2015 · This paper analytically studies interval arithmetic of the search method in detail, which enforces arc consistency, and introduces the iterative operator to improve it, aiming at detecting infeasible paths as well as shortening generation time.
