Automatic boosting of cross-product coverage using Bayesian networks
- Dorit Baras
- Shai Fine
- et al.
- 2010
- International Journal on Software Tools for Technology Transfer
Publications
Date
Featured collections
Popular topics
14 results for Laurent Fournier
Using Bayesian networks and virtual coverage to hit hard-to-reach events
- Shai Fine
- Laurent Fournier
- et al.
- 2009
- International Journal on Software Tools for Technology Transfer
Genesys-Pro: Innovations in test program generation for functional processor verification
- Allon Adir
- Eli Almog
- et al.
- 2004
- IEEE Design and Test of Computers
Solving the generalized mask constraint for test generation of binary floating point add operation
- Abraham Ziv
- Laurent Fournier
- 2003
- Theoretical Computer Science