T. Hickey. An interval arithmetic library, 2000. available at http://interval.sourceforge.net/interval/index.html. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Automatic Test Data Generation for Programs with Integer and.. - Sy, Deville (2001) (Correct)
....= SolvePathConstraint(V , V , D , PC) if result 6= # then return result; else return TestGen(P, V , D , newPath, G, s, end, DC) 7 Implementation and Experimental Results Prototype To validate our approach, we developed a prototype written in Java. It uses an interval arithmetic library [Hic00] for the implementation of the constraint solving algorithm. In its present form, this prototype 12 concentrates on the constraint solving; the program under analysis is given in its control flow graph (CFG) In the FindSolution function, we assume here that the underlying programming language L ....
T. Hickey. An interval arithmetic library, 2000. available at http://interval.sourceforge.net/interval/index.html.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC