Probabilistic Alternative Regression Suites. - Shady Copty; Shai Fine; Shmuel Ur; Avi Ziv (ISoLA (Preliminary proceedings), 2004)

Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!. - Shady Copty; Shmuel Ur (Euro-Par, 2005)

Path-Based System Level Stimuli Generation. - Shady Copty; Itai Jaeger; Yoav Katz (Haifa Verification Conference, 2005)

Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. - Shady Copty; Shmuel Ur (TV@FLoC, 2006)

Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. - Shady Copty; Itai Jaeger; Yoav Katz; Michael Vinov (DAC, 2007)

A probabilistic alternative to regression suites. - Shady Copty; Shai Fine; Shmuel Ur; Elad Yom-Tov; Avi Ziv (Theor. Comput. Sci., 2008)

A unified methodology for pre-silicon verification and post-silicon validation. - Allon Adir; Shady Copty; Shimon Landa; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DATE, 2011)