Searching for authors named "Shmuel Ur" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
On Minimizing Regression-Suites using On-Line Set-Cover
- …On Minimizing Regression-Suites using On-Line Set-Cover Erez Buchnik, Applied Materials Shmuel Ur…
- Add To MetaCart
-
Off-The-Shelf Vs. Custom Made Coverage Models, Which Is The One for You?
- …Off-The-Shelf Vs. Custom Made Coverage Models, Which Is The One for You? Shmuel Ur and Avi Ziv IBM…
- Cited by 10 (7 self) – Add To MetaCart
-
Compacting Regression-Suites On-The-Fly
- …Compacting Regression-Suites On-The-Fly Erez Buchnik 1 , Applied Materials Dr. Shmuel Ur, IBM…
- Cited by 5 (3 self) – Add To MetaCart
-
Cross-Fertilization between Hardware Verification and Software Testing
- …. This Shmuel Ur Avi Ziv IBM Research Laboratory in Haifa Haifa University Haifa, 31905 Israel email: ur, aziv…
- Cited by 1 (0 self) – Add To MetaCart
-
Cost Evaluation of Coverate Directed Test Generation for the IBM Mainframe
- … Mittermaier, Shmuel Ur, Avi Ziv IBM Corporation - 1- represents some event that should be covered…
- Add To MetaCart
-
An extensible open-source compiler infrastructure for testing
- …An Extensible Open-Source Compiler Infrastructure for Testing Dan Quinlan 1 , Shmuel Ur 2…
- Cited by 1 (1 self) – Add To MetaCart
-
Improvements in Coverability Analysis
- …Improvements in Coverability Analysis Gil Ratsaby, Baruch Sterin, Shmuel Ur �rgil , baruch, ur…
- Cited by 3 (2 self) – Add To MetaCart
-
A Methodology for Processor Implementation Verification
- … and interactions between them that are Daniel Lewin Dean Lorenz Shmuel Ur Dept. of Electrical Engineering Technion…
- Cited by 12 (4 self) – Add To MetaCart
-
Coverability Analysis Using Symbolic Model Checking
- …Coverability Analysis Using Symbolic Model Checking CHARME 2001 Gil Ratzaby, Shmuel Ur, Yaron…
- Cited by 2 (1 self) – Add To MetaCart
-
Probabilistic Regression Suites for Functional Verification
- …-58113-828-8/04/0006 ...$5.00. Shmuel Ur ur@(email omitted); IBM Research Laboratory in Haifa Haifa, 31905, Israel 49 Avi Ziv aziv…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
