Journal articles
Yael Abarbanel - Vinov, Neta Isenbud - Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar Haham. On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design 19(1), 2001.Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh. Efficient Detection of Vacuity in Temporal Model Checking. Formal Methods in System Design 18(2), 2001.
Abraham Ziv and Laurent Fournier. Solving the Generalized Mask Constraints for Test Generation of Binary Floating Point Add Operation. Theoretical Computer Science, 291 (2003), pp. 183-201.
Eyal Bin, Roy Emek, Gil Shurek, and Avi Ziv. Using constraint satisfaction formulations and solution techniques for random test program generation. IBM Systems Journal, 41(3):386-402, August 2002.
Sharon Shoham, Eran Yahav, Stephen J. Fink and Marco Pistoia. Static Specification Mining Using Automata-Based Abstractions. IEEE Transactions on Software Engineering 34(5):651-666, May 2008.