User defined coverage-A tool supported methodology for design verification
- Raanan Grinwald
- Eran Harel
- et al.
- 1998
- DAC 1998
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
37 results for Shmuel Ur
Code coverage analysis in practice for large systems
- Yoram Adler
- Noam Behar
- et al.
- 2011
- ICSE 2011
Improving throughput via slowdowns
- Maayan Goldstein
- Onn Shehory
- et al.
- 2010
- ICSE 2010
Combinatorial test design in practice
- Myra B. Cohen
- Shmuel Ur
- 2010
- ICSE 2010
Automated substring hole analysis
- Yoram Adler
- Eitan Farchi
- et al.
- 2009
- ICSE 2009
ConTest listeners: A concurrency-oriented infrastructure for Java test and heal tools
- Yarden Nir-Buchbinder
- Shmuel Ur
- 2007
- ESEC/FSE 2007
Probabilistic regression suites for functional verification
- Shai Fine
- Shmuel Ur
- et al.
- 2004
- DAC 2004
Advanced analysis techniques for cross-product coverage
- Hezi Azatchi
- Laurent Fournier
- et al.
- 2006
- IEEE TC
Multi-threaded testing with AOP is easy, and it finds bugs!
- Shady Copty
- Shmuel Ur
- 2005
- Euro-Par 2005
Measuring and improving latency to avoid test suite wear out
- Shin Yoo
- Mark Harman
- et al.
- 2009
- ICSTW 2009