- 1
- 1
- 1
Michel Rueher
3
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
|
Verifying floating-point programs with constraint programming and abstract interpretation techniquesAutomated Software Engineering, 2016, ⟨10.1007/s10515-014-0154-2⟩
Article dans une revue
hal-00860681v2
|
|
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
|