Shmuel Ur

According to our database, Shmuel Ur authored at least 60 papers between 1992 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics.

Bohuslav Krena, Hana Pluhácková, Shmuel Ur, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

2015

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

2013

GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards.

Shin Yoo, Mark Harman, Shmuel Ur

Empir. Softw. Eng., 2013

2012

Testing of Concurrent Programs Using Genetic Algorithms.

Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

2011

Evaluating workloads using comparative functional coverage.

Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur

Int. J. Softw. Tools Technol. Transf., 2011

Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards.

Shin Yoo, Mark Harman, Shmuel Ur

Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

Code coverage analysis in practice for large systems.

Yoram Adler, Noam Behar, Orna Raz, Onn Shehory, Nadav Steindler, Shmuel Ur, Aviad Zlotnick

Proceedings of the 33rd International Conference on Software Engineering, 2011

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

A platform for search-based testing of concurrent software.

Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

Improving throughput via slowdowns.

Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Combinatorial test design in practice.

Myra B. Cohen, Shmuel Ur

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Testing Concurrent Software.

Shmuel Ur

Proceedings of the Hardware and Software: Verification and Testing, 2010

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

Proceedings of the Runtime Verification, 9th International Workshop, 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

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

Advanced code coverage analysis using substring holes.

Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Measuring and Improving Latency to Avoid Test Suite Wear Out.

Shin Yoo, Mark Harman, Shmuel Ur

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automated substring hole analysis.

Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick

Proceedings of the 31st International Conference on Software Engineering, 2009

Evaluating Workloads Using Multi-comparative Functional Coverage.

Yoram Adler, Shmuel Ur, Dale Blue

Proceedings of the Hardware and Software: Verification and Testing, 2009

2008

A probabilistic alternative to regression suites.

Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv

Theor. Comput. Sci., 2008

Deadlocks: From Exhibiting to Healing.

Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur

Proceedings of the Runtime Verification, 8th International Workshop, 2008

Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections.

Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08).

Shmuel Ur, Scott D. Stoller, Eitan Farchi

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Selective Homeworkless Reviews.

Eitan Farchi, Shmuel Ur

Proceedings of the First International Conference on Software Testing, 2008

Experience with a Concurrency Bugs Benchmark.

Yaniv Eytani, Rachel Tzoref, Shmuel Ur

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Topic 1: Support Tools and Environments.

Marios D. Dikaiakos, Omer F. Rana, Shmuel Ur, João Lourenço

Proceedings of the Euro-Par 2008, 2008

2007

Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD).

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

Choosing among alternative pasts.

Marina Biberstein, Eitan Farchi, Shmuel Ur

Concurr. Comput. Pract. Exp., 2007

ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools.

Yarden Nir-Buchbinder, Shmuel Ur

Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007

Instrumenting where it hurts: an automatic concurrent debugging technique.

Rachel Tzoref, Shmuel Ur, Elad Yom-Tov

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Healing data races on-the-fly.

Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar

Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007

2006

Advanced Analysis Techniques for Cross-Product Coverage.

Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar

IEEE Trans. Computers, 2006

Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ.

Shady Copty, Shmuel Ur

Proceedings of the Thread Verification Workshop, 2006

Producing scheduling that causes concurrent programs to fail.

Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs.

Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur

Proceedings of the Leveraging Applications of Formal Methods, 2006

An Open Source Simulation Model of Software Development and Testing.

Shmuel Ur, Elad Yom-Tov, Paul Wernick

Proceedings of the Hardware and Software, 2006

A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques.

Shmuel Ur

Proceedings of the Hardware and Software, 2006

2005

Applications of synchronization coverage.

Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

An Extensible Open-Source Compiler Infrastructure for Testing.

Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc

Proceedings of the Hardware and Software Verification and Testing, 2005

Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!.

Shady Copty, Shmuel Ur

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004

Probabilistic Alternative Regression Suites.

Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Compiling a Benchmark of Documented Multi-Threaded Bugs.

Yaniv Eytani, Shmuel Ur

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Fidgeting to the Point of No Return.

Marina Biberstein, Eitan Farchi, Shmuel Ur

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Probabilistic regression suites for functional verification.

Shai Fine, Shmuel Ur, Avi Ziv

Proceedings of the 41th Design Automation Conference, 2004

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

Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools .

Klaus Havelund, Scott D. Stoller, Shmuel Ur

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Concurrent Bug Patterns and How to Test Them.

Eitan Farchi, Yarden Nir, Shmuel Ur

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Multithreaded Java program test generation.

Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur

IBM Syst. J., 2002

Improvements in Coverability Analysis.

Gil Ratsaby, Baruch Sterin, Shmuel Ur

Proceedings of the FME 2002: Formal Methods, 2002

Hole analysis for functional coverage data.

Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv

Proceedings of the 39th Design Automation Conference, 2002

2001

Cost evaluation of coverage directed test generation for the IBM mainframe.

Gilly Nativ, Steven Mittermaier, Shmuel Ur, Avi Ziv

Proceedings of the Proceedings IEEE International Test Conference 2001, Baltimore, MD, USA, 30 October, 2001

Coverability Analysis Using Symbolic Model Checking.

Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal

Proceedings of the Correct Hardware Design and Verification Methods, 2001

1999

Micro Architecture Coverage Directed Generation of Test Programs.

Shmuel Ur, Yaov Yadin

Proceedings of the 36th Conference on Design Automation, 1999

1998

User Defined Coverage - A Tool Supported Methodology for Design Verification.

Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv

Proceedings of the 35th Conference on Design Automation, 1998

1997

Compacting regression-suites on-the-fly.

Erez Buchnik, Shmuel Ur

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

A new characterization of graphs based on interception relations.

Azaria Paz, Judea Pearl, Shmuel Ur

J. Graph Theory, 1996

A Methodology for Processor Implementation Verification.

Daniel Lewin, Dean H. Lorenz, Shmuel Ur

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

Coverage-Directed Test Generation Using Symbolic Techniques.

Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1992

Analysis of Online Algorithms for Organ Allocation.

Shmuel Ur, Michael A. Trick, Daniel Dominic Sleator

Proceedings of the Algorithms, Software, Architecture, 1992