A unified methodology for pre-silicon verification and post-silicon validation
- Allon Adir
- Shady Copty
- et al.
- 2011
- DATE 2011
Publications
5 results for Shady Copty
A probabilistic alternative to regression suites
- Shady Copty
- Shai Fine
- et al.
- 2008
- Theoretical Computer Science
Intelligent interleaving of scenarios: A novel approach to system level test generation
- Shady Copty
- Itai Jaeger
- et al.
- 2007
- DAC 2007
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ
- Shady Copty
- Shmuel Ur
- 2007
- Electronic Notes in Theoretical Computer Science
Multi-threaded testing with AOP is easy, and it finds bugs!
- Shady Copty
- Shmuel Ur
- 2005
- Euro-Par 2005