- 1
- 1
Michel Rueher
2
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
|
Searching input values hitting suspicious Intervals in programs with floating-point operations28th International Conference on Software and Systems (ICTSS-2016)., Oct 2016, Graz, Austria. pp 209 --217
Communication dans un congrès
hal-01224009v2
|
|
LocFaults: A new flow-driven and constraint-based error localization approachSAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩
Communication dans un congrès
hal-01094227v1
|