Claude Michel  Home/Search
Context
Related
| rutgers.edu/~amai/aimath02/PAPE...21.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: rutgers.edu/~amai/...AcceptedCont (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces a new framework for filtering constraints over floating-point numbers. An important application area where such solvers are required is test case generation, i.e., finding input values for which a selected point in a procedure is executed. It has been shown that the latter problem can be handled efficiently by translating a non-trivial imperative program into a CSP over finite domains. However, when these programs contain arithmetic operations that involve floating-point... (Update)
Similar documents (at the sentence level):
5.6%: Solving Constraints over Floating-Point Numbers - Michel, Rueher, Lebbah (2001) (Correct)
Active bibliography (related documents): More All
0.2: Automatic Test Data Generation for Programs with Integer and.. - Sy, Deville (2001) (Correct)
0.1: A CLP Framework for Computing Structural Test Data - Gotlieb, Botella, Rueher (2000) (Correct)
0.1: Accelerating Filtering Techniques for Numeric CSPs - Lebbah, Lhomme (2002) (Correct)
Similar documents based on text: More All
0.2: Accurate Floating Point Summation - Demmel, Hida (2002) (Correct)
0.1: Architectural Design Options for ATM Switches - Yadav (1999) (Correct)
0.1: Principles of Floating Point Computation - Qiao (Correct)
BibTeX entry: (Update)
@misc{ michel-exact,
author = "Claude Michel",
title = "Exact Projection Functions for Floating Point Number Constraints",
url = "citeseer.ist.psu.edu/655650.html" }
Citations (may not include all citations):702 Consistency in networks of relations (context) - Mackworth - 1977
160 Rigorous Global Search: Continuous Problems (context) - Kearfott - 1996
133 IEEE Standard for Binary Floating Point Arithmetic (context) - IEEE, York - 1985
97 Consistency techniques for numeric csps (context) - Lhomme - 1993
61 Software Unit Test Coverage and Adequacy (context) - ZHU, Hall et al. - 1997
36 Solving polynomial systems using a branch and prune aprroach - Van Hentenryck, McAllester et al. - 1997
29 Automatic Test Data Generation using Constraint Logic Progra.. (context) - Gotlieb - 2000
29 Automatic Test Data Generation Using Constraint Solving Tech.. (context) - Gotlieb, Botella et al. - 1998
18 Experimental Results from an Automatic Test Case Generator (context) - Demillo, ut - 1993
10 A note on partial consistencies over continuous domains solv.. - Collavizza, Delobel et al. - 1998
7 A clp framework for computing structural test data - Gotlieb, Botella - 1998
1 Mathur Neelam Gupta and Mary Lou So (context) - Aditya - 2000
1 the combination of interval constraint solvers (context) - Granvilliers - 2001
1 Computer science and applied mathematics (context) - Kulish, Miranker et al. - 1981
1 Solving constraints over oating point numbers (context) - Michel, Rueher et al. - 2001
Documents on the same site (http://rutcor.rutgers.edu/~amai/aimath02/AcceptedCont.htm): More
A Random Jump Strategy for Combinatorial Search - Zhang (2001) (Correct)
Bayesian DAG Construction from Conditional Independencies - Wong Tao Lin (Correct)
Bias-Variance Decomposition of Zero-One Loss in Average-Case.. - Tsuyuguchi, Uehara (Correct)
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