- "Piparazzi: A Test Program Generator for Micro-architecture Flow Verification", Allon Adir, Eyal Bin, Ofer Peled, Avi Ziv, published in the proceeding of HLDVT '03,
Available in (PDF)
- "Using a Constraint Satisfaction Formulation and Solution Techniques for Random Test Program Generation", Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv, published at IBM Systems Journal, Aug. '02,
Available in (PDF)
- "Generating Random Solutions for Constraint Satisfaction Problems", R. Dechter, K. Kask, E. Bin, and R. Emek, Proceedings of AAAI'02
|
 |
|
|
