Shmuel Ur

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 2

Top Topics

Search Based Software Engineering

Boosted Decision Trees

Concurrent Programs

Top Venues

Softw. Test. Verification Reliab.

Concurr. Comput. Pract. Exp.

Publications

Bohuslav Krena, Hana Pluhácková, Shmuel Ur, Tomás Vojnar
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. EUROCAST (2) (2017)
Renata Avros, V. Dudka, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Shmuel Ur, Tomás Vojnar, Zeev Volkovich
Boosted decision trees for behaviour mining of concurrent programmes. Concurr. Comput. Pract. Exp. 29 (21) (2017)
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
Advances in noise-based testing of concurrent software. Softw. Test. Verification Reliab. 25 (3) (2015)
Shin Yoo, Mark Harman, Shmuel Ur
GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards. Empir. Softw. Eng. 18 (3) (2013)
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
Testing of Concurrent Programs Using Genetic Algorithms. SSBSE (2012)
Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur
Evaluating workloads using comparative functional coverage. Int. J. Softw. Tools Technol. Transf. 13 (3) (2011)
Yoram Adler, Noam Behar, Orna Raz, Onn Shehory, Nadav Steindler, Shmuel Ur, Aviad Zlotnick
Code coverage analysis in practice for large systems. ICSE (2011)
Shin Yoo, Mark Harman, Shmuel Ur
Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. SSBSE (2011)
Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang
Detection of deadlock potentials in multithreaded programs. IBM J. Res. Dev. 54 (5) (2010)
Shmuel Ur
Testing Concurrent Software. Haifa Verification Conference (2010)
Myra B. Cohen, Shmuel Ur
Combinatorial test design in practice. ICSE (2) (2010)
Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur
A platform for search-based testing of concurrent software. PDATAD (2010)
Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur
Improving throughput via slowdowns. ICSE (2) (2010)
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick
Advanced code coverage analysis using substring holes. ISSTA (2009)
Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi
Forcing small models of conditions on program interleaving for detection of concurrent bugs. PADTAD (2009)
Shin Yoo, Mark Harman, Shmuel Ur
Measuring and Improving Latency to Avoid Test Suite Wear Out. ICST Workshops (2009)
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick
Automated substring hole analysis. ICSE Companion (2009)
Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. RV (2009)
Yoram Adler, Shmuel Ur, Dale Blue
Evaluating Workloads Using Multi-comparative Functional Coverage. Haifa Verification Conference (2009)
Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv
A probabilistic alternative to regression suites. Theor. Comput. Sci. 404 (3) (2008)
Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur
Evaluating Workloads Using Comparative Functional Coverage. Haifa Verification Conference (2008)
Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur
Deadlocks: From Exhibiting to Healing. RV (2008)
Eitan Farchi, Shmuel Ur
Selective Homeworkless Reviews. ICST (2008)
Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. ASE (2008)
Yaniv Eytani, Rachel Tzoref, Shmuel Ur
Experience with a Concurrency Bugs Benchmark. ICST Workshops (2008)
Shmuel Ur, Scott D. Stoller, Eitan Farchi
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA (2008)
Marios D. Dikaiakos, Omer F. Rana, Shmuel Ur, João Lourenço
Topic 1: Support Tools and Environments. Euro-Par (2008)
Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur
Towards a framework and a benchmark for testing tools for multi-threaded programs. Concurr. Comput. Pract. Exp. 19 (3) (2007)
Shady Copty, Shmuel Ur
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. Electron. Notes Theor. Comput. Sci. 174 (9) (2007)
Shmuel Ur
Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD). Concurr. Comput. Pract. Exp. 19 (3) (2007)
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar
Healing data races on-the-fly. PADTAD (2007)
Rachel Tzoref, Shmuel Ur, Elad Yom-Tov
Instrumenting where it hurts: an automatic concurrent debugging technique. ISSTA (2007)
Yarden Nir-Buchbinder, Shmuel Ur
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. SOQUA (2007)
Marina Biberstein, Eitan Farchi, Shmuel Ur
Choosing among alternative pasts. Concurr. Comput. Pract. Exp. 19 (3) (2007)
Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur
Producing scheduling that causes concurrent programs to fail. PADTAD (2006)
Shmuel Ur, Elad Yom-Tov, Paul Wernick
An Open Source Simulation Model of Software Development and Testing. Haifa Verification Conference (2006)
Shmuel Ur
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. Haifa Verification Conference (2006)
Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur
Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. ISoLA (2006)
Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar
Advanced Analysis Techniques for Cross-Product Coverage. IEEE Trans. Computers 55 (11) (2006)
Shady Copty, Shmuel Ur
Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!. Euro-Par (2005)
Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc
An Extensible Open-Source Compiler Infrastructure for Testing. Haifa Verification Conference (2005)
Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur
Applications of synchronization coverage. PPOPP (2005)
Yaniv Eytani, Shmuel Ur
Compiling a Benchmark of Documented Multi-Threaded Bugs. IPDPS (2004)
Shai Fine, Shmuel Ur, Avi Ziv
Probabilistic regression suites for functional verification. DAC (2004)
Marina Biberstein, Eitan Farchi, Shmuel Ur
Fidgeting to the Point of No Return. IPDPS (2004)
Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv
Probabilistic Alternative Regression Suites. ISoLA (Preliminary proceedings) (2004)
Klaus Havelund, Scott D. Stoller, Shmuel Ur
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS (2003)
Eitan Farchi, Yarden Nir, Shmuel Ur
Concurrent Bug Patterns and How to Test Them. IPDPS (2003)
Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur
Framework for testing multi-threaded Java programs. Concurr. Comput. Pract. Exp. 15 (3-5) (2003)
Marina Biberstein, Eitan Farchi, Shmuel Ur
Choosing among Alternative Pasts. IPDPS (2003)
Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv
Hole analysis for functional coverage data. DAC (2002)
Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur
Multithreaded Java program test generation. IBM Syst. J. 41 (1) (2002)
Gil Ratsaby, Baruch Sterin, Shmuel Ur
Improvements in Coverability Analysis. FME (2002)
Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur
Multithreaded Java program test generation. Java Grande (2001)
Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal
Coverability Analysis Using Symbolic Model Checking. CHARME (2001)
Gilly Nativ, Steven Mittermaier, Shmuel Ur, Avi Ziv
Cost evaluation of coverage directed test generation for the IBM mainframe. ITC (2001)
Shmuel Ur, Yaov Yadin
Micro Architecture Coverage Directed Generation of Test Programs. DAC (1999)
Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv
User Defined Coverage - A Tool Supported Methodology for Design Verification. DAC (1998)
Erez Buchnik, Shmuel Ur
Compacting regression-suites on-the-fly. APSEC (1997)
Azaria Paz, Judea Pearl, Shmuel Ur
A new characterization of graphs based on interception relations. J. Graph Theory 22 (2) (1996)
Daniel Lewin, Dean H. Lorenz, Shmuel Ur
A Methodology for Processor Implementation Verification. FMCAD (1996)
Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal
Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD (1996)
Shmuel Ur, Michael A. Trick, Daniel Dominic Sleator
Analysis of Online Algorithms for Organ Allocation. IFIP Congress (1) (1992)