Analysis of Online Algorithms for Organ Allocation. - Shmuel Ur; Michael A. Trick; Daniel Dominic Sleator (IFIP Congress (1), 1992)

Coverage-Directed Test Generation Using Symbolic Techniques. - Daniel Geist; Monica Farkas; Avner Landver; Yossi Lichtenstein; Shmuel Ur; Yaron Wolfsthal (FMCAD, 1996)

A Methodology for Processor Implementation Verification. - Daniel Lewin 001; Dean H. Lorenz; Shmuel Ur (FMCAD, 1996)

A new characterization of graphs based on interception relations. - Azaria Paz; Judea Pearl; Shmuel Ur (J. Graph Theory, 1996)

Compacting regression-suites on-the-fly. - Erez Buchnik; Shmuel Ur (APSEC, 1997)

User Defined Coverage - A Tool Supported Methodology for Design Verification. - Raanan Grinwald; Eran Harel; Michael Orgad; Shmuel Ur; Avi Ziv (DAC, 1998)

Micro Architecture Coverage Directed Generation of Test Programs. - Shmuel Ur; Yaov Yadin (DAC, 1999)

Coverability Analysis Using Symbolic Model Checking. - Gil Ratsaby; Shmuel Ur; Yaron Wolfsthal (CHARME, 2001)

Cost evaluation of coverage directed test generation for the IBM mainframe. - Gilly Nativ; Steven Mittermaier; Shmuel Ur; Avi Ziv (ITC, 2001)

Hole analysis for functional coverage data. - Oded Lachish; Eitan Marcus; Shmuel Ur; Avi Ziv (DAC, 2002)

Improvements in Coverability Analysis. - Gil Ratsaby; Baruch Sterin; Shmuel Ur (FME, 2002)

Multithreaded Java program test generation. - Orit Edelstein; Eitan Farchi; Yarden Nir; Gil Ratsaby; Shmuel Ur (IBM Syst. J., 2002)

Concurrent Bug Patterns and How to Test Them. - Eitan Farchi; Yarden Nir; Shmuel Ur (IPDPS, 2003)

Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . - Klaus Havelund; Scott D. Stoller; Shmuel Ur (IPDPS, 2003)

Framework for testing multi-threaded Java programs. - Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur (Concurr. Comput. Pract. Exp., 2003)

Probabilistic regression suites for functional verification. - Shai Fine; Shmuel Ur; Avi Ziv (DAC, 2004)

Fidgeting to the Point of No Return. - Marina Biberstein; Eitan Farchi; Shmuel Ur (IPDPS, 2004)

Compiling a Benchmark of Documented Multi-Threaded Bugs. - Yaniv Eytani; Shmuel Ur (IPDPS, 2004)

Probabilistic Alternative Regression Suites. - Shady Copty; Shai Fine; Shmuel Ur; Avi Ziv (ISoLA (Preliminary proceedings), 2004)

Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!. - Shady Copty; Shmuel Ur (Euro-Par, 2005)

An Extensible Open-Source Compiler Infrastructure for Testing. - Daniel J. Quinlan; Shmuel Ur; Richard W. Vuduc (Haifa Verification Conference, 2005)

Applications of synchronization coverage. - Arkady Bron; Eitan Farchi; Yonit Magid; Yarden Nir; Shmuel Ur (PPoPP, 2005)

A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. - Shmuel Ur (Haifa Verification Conference, 2006)

An Open Source Simulation Model of Software Development and Testing. - Shmuel Ur; Elad Yom-Tov; Paul Wernick (Haifa Verification Conference, 2006)

Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. - Yosi Ben-Asher; Eitan Farchi; Yaniv Eytani; Shmuel Ur (ISoLA, 2006)

Producing scheduling that causes concurrent programs to fail. - Yosi Ben-Asher; Yaniv Eytani; Eitan Farchi; Shmuel Ur (PADTAD, 2006)

Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. - Shady Copty; Shmuel Ur (TV@FLoC, 2006)

Advanced Analysis Techniques for Cross-Product Coverage. - Hezi Azatchi; Laurent Fournier; Eitan Marcus; Shmuel Ur; Avi Ziv; Keren Zohar (IEEE Trans. Computers, 2006)

Healing data races on-the-fly. - Bohuslav Krena; Zdenek Letko; Rachel Tzoref; Shmuel Ur; Tomás Vojnar (PADTAD, 2007)

Instrumenting where it hurts: an automatic concurrent debugging technique. - Rachel Tzoref; Shmuel Ur; Elad Yom-Tov (ISSTA, 2007)

ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. - Yarden Nir-Buchbinder; Shmuel Ur (SOQUA, 2007)

Choosing among alternative pasts. - Marina Biberstein; Eitan Farchi; Shmuel Ur (Concurr. Comput. Pract. Exp., 2007)

Towards a framework and a benchmark for testing tools for multi-threaded programs. - Yaniv Eytani; Klaus Havelund; Scott D. Stoller; Shmuel Ur (Concurr. Comput. Pract. Exp., 2007)

Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD). - Shmuel Ur (Concurr. Comput. Pract. Exp., 2007)

Topic 1: Support Tools and Environments. - Marios D. Dikaiakos; Omer F. Rana; Shmuel Ur; João Lourenço (Euro-Par, 2008)

Experience with a Concurrency Bugs Benchmark. - Yaniv Eytani; Rachel Tzoref; Shmuel Ur (ICST Workshops, 2008)

Selective Homeworkless Reviews. - Eitan Farchi; Shmuel Ur (ICST, 2008)

6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). - Shmuel Ur; Scott D. Stoller; Eitan Farchi (ISSTA, 2008)

Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. - Elad Yom-Tov; Rachel Tzoref; Shmuel Ur; Shlomo Hoory (ASE, 2008)

Deadlocks: From Exhibiting to Healing. - Yarden Nir-Buchbinder; Rachel Tzoref; Shmuel Ur (RV, 2008)

A probabilistic alternative to regression suites. - Shady Copty; Shai Fine; Shmuel Ur; Elad Yom-Tov; Avi Ziv (Theor. Comput. Sci., 2008)

Evaluating Workloads Using Multi-comparative Functional Coverage. - Yoram Adler; Shmuel Ur; Dale Blue (Haifa Verification Conference, 2009)

Automated substring hole analysis. - Yoram Adler; Eitan Farchi; Moshe Klausner; Dan Pelleg; Orna Raz; Moran Shochat; Shmuel Ur; Aviad Zlotnick (ICSE Companion, 2009)

Measuring and Improving Latency to Avoid Test Suite Wear Out. - Shin Yoo; Mark Harman; Shmuel Ur (ICST Workshops, 2009)

Advanced code coverage analysis using substring holes. - Yoram Adler; Eitan Farchi; Moshe Klausner; Dan Pelleg; Orna Raz; Moran Shochat; Shmuel Ur; Aviad Zlotnick (ISSTA, 2009)

Forcing small models of conditions on program interleaving for detection of concurrent bugs. - Ehud Trainin; Yarden Nir-Buchbinder; Rachel Tzoref-Brill; Aviad Zlotnick; Shmuel Ur; Eitan Farchi (PADTAD, 2009)

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. - Bohuslav Krena; Zdenek Letko; Yarden Nir-Buchbinder; Rachel Tzoref-Brill; Shmuel Ur; Tomás Vojnar (RV, 2009)

Testing Concurrent Software. - Shmuel Ur (Haifa Verification Conference, 2010)

Combinatorial test design in practice. - Myra B. Cohen; Shmuel Ur (ICSE (2), 2010)

Improving throughput via slowdowns. - Maayan Goldstein; Onn Shehory; Rachel Tzoref-Brill; Shmuel Ur (ICSE (2), 2010)

A platform for search-based testing of concurrent software. - Bohuslav Krena; Zdenek Letko; Tomás Vojnar; Shmuel Ur (PDATAD, 2010)

Detection of deadlock potentials in multithreaded programs. - Rahul Agarwal; Saddek Bensalem; Eitan Farchi; Klaus Havelund; Yarden Nir-Buchbinder; Scott D. Stoller; Shmuel Ur; Liqiang Wang (IBM J. Res. Dev., 2010)

Code coverage analysis in practice for large systems. - Yoram Adler; Noam Behar; Orna Raz; Onn Shehory; Nadav Steindler; Shmuel Ur; Aviad Zlotnick (ICSE, 2011)

Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. - Shin Yoo; Mark Harman; Shmuel Ur (SSBSE, 2011)

Evaluating workloads using comparative functional coverage. - Yoram Adler; Dale Blue; Thomas Conti; Richard Prewitt; Shmuel Ur (Int. J. Softw. Tools Technol. Transf., 2011)

Testing of Concurrent Programs Using Genetic Algorithms. - Vendula Hrubá; Bohuslav Krena; Zdenek Letko; Shmuel Ur; Tomás Vojnar (SSBSE, 2012)

GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards. - Shin Yoo; Mark Harman; Shmuel Ur (Empir. Softw. Eng., 2013)

Advances in noise-based testing of concurrent software. - Jan Fiedor; Vendula Hrubá; Bohuslav Krena; Zdenek Letko; Shmuel Ur; Tomás Vojnar (Softw. Test. Verification Reliab., 2015)

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. - Bohuslav Krena; Hana Pluhácková; Shmuel Ur; Tomás Vojnar (EUROCAST (2), 2017)

Boosted decision trees for behaviour mining of concurrent programmes. - Renata Avros; V. Dudka; Bohuslav Krena; Zdenek Letko; Hana Pluhácková; Shmuel Ur; Tomás Vojnar; Zeev Volkovich (Concurr. Comput. Pract. Exp., 2017)