Marina Biberstien, Eitan Farchi and Shmuel Ur, Fidgeting till the point of no return, PADTAD 2004
Yaniv Eitani, Shmuel Ur, Generating a benchmark of documented multi-threaded bugs, PADTAD 2004
S. Fine, S. Ur, A. Ziv, “Probabilistic regression suites for functional verification”, in Proceedings of the 41st Design Automation Conference, pages 49-54, June 2004.
Eitan Farchi, Yarden Nir, Shmuel Ur, Concurrent Bug Patterns and How to Test Them, PADTAD (2003)
Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur: Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience 15(3-5): 485-499 (2003)
Klaus Havelund, Scott Stoller, Shmuel Ur, Benchmark and Framework for Encouraging Research on Multi-threaded Testing Tools, PADTAD 2003–06–10
Marina Biberstein, Eitan Farchi, Shmuel Ur, Choosing Among Alternative Pasts: PADTAD 2003
Ur and A. Ziv, “Cross-Fertilization between Hardware Verification and Software Testing”, in Software Engineering and Applications (SEA), November 2002.
Orit Edelstein, Eitan Farchi, Evgeny Golden, Yarden Nir, Gil Ratsaby and Shmuel Ur, ConTest – A User’s Perspective: AQUIS (2002)
Gil Ratsaby, Baruch Sterin, Shmuel Ur: Improvements in Coverability Analysis. FME 2002: 41-56
E. Marcus, O. Lachish, S. Ur and A. Ziv, “Hole Analysis for Functional Coverage Data”, in The 39th Design Automation Conference, pages 807-812, New Orleans, June 2002.
G. Nativ, S. Mittermaier, S. Ur and A. Ziv, “Cost Evaluation of Coverage Directed Test Generation for the IBM Mainframe” in International Test Conference (ITC), pages 793-802, October 2001.
Gil Ratzaby, Shmuel Ur, Yaron Wolfsthal: Coverability Analysis Using Symbolic Model Checking. CHARME 2001: 155-160
Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. Java Grande 2001:
A. Hartman, S. Ur and A. Ziv, “Short Vs. Long, Size Does Make a Difference”, in High-level Design, Verification and Testing Workshop, San Diego, November 1999,
Shmuel Ur, Eitan Farchi, A Case Study on Improving the Test Design Process and Automating Testing using Functional Models: EuroSTAR99 (1999)
Shmuel Ur, Yaov Yadin: Micro Architecture Coverage Directed Generation of Test Programs. DAC 1999: 175-180 (also HLDVT 99)
R. Grinwald, E. Harel, M. Orgad, S. Ur and A. Ziv, “User Defined Coverage – A Tool Supported Methodology for Design Verification”, in The 35th Design Automation Conference, pages 158-163, June 1998.
Orell Dror, Karni Zachi, Shmuel Ur, Using 3D to Visualize Dynamic Path Coverage, QW98 (1998)
Eitan Farchi, Michael Factor, Shmuel Ur: RiRigorous testing using snapshot: Eighth Israeli Conference on Computer Systems and Software Engineering (1997)
Shmuel Ur, Erez Buchnik, On Minimizing Regression Suites using Online Set Cover – EuroStar97 (1997)
Erez Buchnik, Shmuel Ur, Compacting Regression-Suites On-The-Fly: Joint Asia Pacific Software Engineering Conference and International Computer Science Conference (1997)
Daniel Lewin, Dean Lorenz, Shmuel Ur: A Methodology for Processor Implementation Verification. FMCAD 1996: 126-142
Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal: Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158
Venkatesh Naryan, Shmuel Ur, Scheduling Using Artificial Order Restrictions: Combinatorial Optimization 96 (CO96)
Shmuel Ur, Michael Factor, Eitan Farchi, Alon Gluska, Using Snapshot to Implement Hierarchy of Criteria: International Workshop on Computer Aided Design, Test and Evaluation for Dependability (1996)
Shmuel Ur, authoring the apendix to a paper by Howard B. Richman, James J. Staszewski, and Herbert A. Simon, Simulation of Expert Memory Using EPAM IV, Psychological Review 1995, Vol. 102, No. 2, 305-330
Venkatesh Narayan, Shmuel Ur, Simulation the effects of Policies and Laws on Organ Transplants, International Symposium on Technology and Society (ISTAS) (1993)
Shmuel Ur, Analysis of Online Algorithms for Organ Allocation: Management Sciences Research Report No. 579. GSIA, CMU (1993)
Shmuel Ur, Michael Trick, Daniel Dominic Sleator: Analysis of Online Algorithms for Organ Allocation. IFIP Congress (1) 1992: 458-464