Skip to Main content
Number of documents



Journal articles1 document

Conference papers2 documents

  • Hélène Collavizza, Claude Michel, Michel Rueher. Searching input values hitting suspicious Intervals in programs with floating-point operations. 28th International Conference on Software and Systems (ICTSS-2016)., Oct 2016, Graz, Austria. pp 209 --217. ⟨hal-01224009v2⟩
  • Mohammed Bekkouche, Hélène Collavizza, Michel Rueher. LocFaults: A new flow-driven and constraint-based error localization approach . SAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩. ⟨hal-01094227⟩