Shady Copty

According to our database, Shady Copty authored at least 7 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

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

Proceedings of the Design, Automation and Test in Europe, 2011

2008

A probabilistic alternative to regression suites.

Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv

Theor. Comput. Sci., 2008

2007

Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation.

Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov

Proceedings of the 44th Design Automation Conference, 2007

2006

Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ.

Shady Copty, Shmuel Ur

Proceedings of the Thread Verification Workshop, 2006

2005

Path-Based System Level Stimuli Generation.

Shady Copty, Itai Jaeger, Yoav Katz

Proceedings of the Hardware and Software Verification and Testing, 2005

Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!.

Shady Copty, Shmuel Ur

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004

Probabilistic Alternative Regression Suites.

Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004