Shady Copty

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Allon Adir, Shady Copty, Shimon Landa, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
A unified methodology for pre-silicon verification and post-silicon validation. DATE (2011)
Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv
A probabilistic alternative to regression suites. Theor. Comput. Sci. 404 (3) (2008)
Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov
Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. DAC (2007)
Shady Copty, Shmuel Ur
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. Electron. Notes Theor. Comput. Sci. 174 (9) (2007)
Shady Copty, Shmuel Ur
Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!. Euro-Par (2005)
Shady Copty, Itai Jaeger, Yoav Katz
Path-Based System Level Stimuli Generation. Haifa Verification Conference (2005)
Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv
Probabilistic Alternative Regression Suites. ISoLA (Preliminary proceedings) (2004)