default search action

combined dblp search
author search
venue search
publication search

ask others

Shady Copty

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2011
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/date/AdirCLNSZMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/AdirCLNSZMS11
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: 1590-1595

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CoptyFUYZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CoptyFUYZ08
Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv:
A probabilistic alternative to regression suites. Theor. Comput. Sci. 404(3): 219-234 (2008)
2007
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/CoptyJKV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/CoptyJKV07
Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov:
Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. DAC 2007: 891-895
2006
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CoptyU07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CoptyU07
Shady Copty, Shmuel Ur:
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. TV@FLoC 2006: 151-165
2005
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/CoptyU05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/CoptyU05
Shady Copty, Shmuel Ur:
Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!. Euro-Par 2005: 740-749
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/CoptyJK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/CoptyJK05
Shady Copty, Itai Jaeger, Yoav Katz:
Path-Based System Level Stimuli Generation. Haifa Verification Conference 2005: 1-13
2004
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/isola/CoptyFUZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CoptyFUZ04
Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv:
Probabilistic Alternative Regression Suites. ISoLA (Preliminary proceedings) 2004: 89-91

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.