Skip to content

Opening book details…

About this scholarly article

2019 IEEE International Conference On Artificial Intelligence Testing (AITest) - Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations by Claude, Michel; Rueher, Michel is a scholarly article available to read on EtoBox.

Author
Claude, Michel; Rueher, Michel
Publisher
IEEE
Published
2019
Language
EN

More by Claude, Michel; Rueher, Michel

Browse all works by Claude, Michel; Rueher, Michel