@inproceedings{JR06,
title = { Generating Random Values Using Binary Decision Diagrams and Convex Polyhedra },
author = {Jahier, Erwan and Raymond, Pascal},
month = {09},
year = {2006},
booktitle = {Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'06)},
address = {{N}antes, {F}rance},
note = {http://www.irisa.fr/manifestations/2006/CSTVA06/},
team = {SYNC},
}
