Open AccessSearching input values hitting suspicious Intervals in programs with floating-point operations
Author(s) -
Hélène Collavizza,
Claude Michel,
Michel Rueher
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , point (geometry) , mathematics , geometry