default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShmuel Ur
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[j13]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)- [c50]Bohuslav Krena, Hana Pluhácková, Shmuel Ur, Tomás Vojnar:
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. EUROCAST (2) 2017: 99-108 - 2015
- [j12]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): 272-309 (2015) - 2013
- [j11]Shin Yoo, Mark Harman, Shmuel Ur:
GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards. Empir. Softw. Eng. 18(3): 550-593 (2013) - 2012
- [c49]Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar:
Testing of Concurrent Programs Using Genetic Algorithms. SSBSE 2012: 152-167 - 2011
- [j10]Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur:
Evaluating workloads using comparative functional coverage. Int. J. Softw. Tools Technol. Transf. 13(3): 207-221 (2011) - [c48]Yoram Adler, Noam Behar, Orna Raz, Onn Shehory, Nadav Steindler, Shmuel Ur, Aviad Zlotnick:
Code coverage analysis in practice for large systems. ICSE 2011: 736-745 - [c47]Shin Yoo, Mark Harman, Shmuel Ur:
Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. SSBSE 2011: 219-236 - 2010
- [j9]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): 3 (2010) - [c46]Shmuel Ur:
Testing Concurrent Software. Haifa Verification Conference 2010: 4 - [c45]Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur:
Improving throughput via slowdowns. ICSE (2) 2010: 11-20 - [c44]Myra B. Cohen, Shmuel Ur:
Combinatorial test design in practice. ICSE (2) 2010: 495-496 - [c43]Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur:
A platform for search-based testing of concurrent software. PDATAD 2010: 48-58
2000 – 2009
- 2009
- [c42]Yoram Adler, Shmuel Ur, Dale Blue:
Evaluating Workloads Using Multi-comparative Functional Coverage. Haifa Verification Conference 2009: 57-70 - [c41]Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick:
Automated substring hole analysis. ICSE Companion 2009: 203-206 - [c40]Shin Yoo, Mark Harman, Shmuel Ur:
Measuring and Improving Latency to Avoid Test Suite Wear Out. ICST Workshops 2009: 101-110 - [c39]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: 37-46 - [c38]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 - [c37]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: 101-114 - 2008
- [j8]Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv:
A probabilistic alternative to regression suites. Theor. Comput. Sci. 404(3): 219-234 (2008) - [c36]Marios D. Dikaiakos, Omer F. Rana, Shmuel Ur, João Lourenço:
Topic 1: Support Tools and Environments. Euro-Par 2008: 1-2 - [c35]Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur:
Evaluating Workloads Using Comparative Functional Coverage. Haifa Verification Conference 2008: 84-98 - [c34]Yaniv Eytani, Rachel Tzoref, Shmuel Ur:
Experience with a Concurrency Bugs Benchmark. ICST Workshops 2008: 379-384 - [c33]Eitan Farchi, Shmuel Ur:
Selective Homeworkless Reviews. ICST 2008: 404-413 - [c32]Shmuel Ur, Scott D. Stoller, Eitan Farchi:
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA 2008: 309-310 - [c31]Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory:
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. ASE 2008: 307-316 - [c30]Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur:
Deadlocks: From Exhibiting to Healing. RV 2008: 104-118 - [e5]Shmuel Ur:
Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008. ACM 2008, ISBN 978-1-60558-052-4 [contents] - 2007
- [j7]Shmuel Ur:
Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD). Concurr. Comput. Pract. Exp. 19(3): 265-266 (2007) - [j6]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): 267-279 (2007) - [j5]Marina Biberstein, Eitan Farchi, Shmuel Ur:
Choosing among alternative pasts. Concurr. Comput. Pract. Exp. 19(3): 341-353 (2007) - [c29]Rachel Tzoref, Shmuel Ur, Elad Yom-Tov:
Instrumenting where it hurts: an automatic concurrent debugging technique. ISSTA 2007: 27-38 - [c28]Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar:
Healing data races on-the-fly. PADTAD 2007: 54-64 - [c27]Yarden Nir-Buchbinder, Shmuel Ur:
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. SOQUA 2007: 9-16 - [e4]Eyal Bin, Avi Ziv, Shmuel Ur:
Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Lecture Notes in Computer Science 4383, Springer 2007, ISBN 978-3-540-70888-9 [contents] - [e3]Shmuel Ur, Eitan Farchi:
Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007. ACM 2007, ISBN 978-1-59593-748-3 [contents] - 2006
- [j4]Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar:
Advanced Analysis Techniques for Cross-Product Coverage. IEEE Trans. Computers 55(11): 1367-1379 (2006) - [c26]Shmuel Ur:
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. Haifa Verification Conference 2006: 122-123 - [c25]Shmuel Ur, Elad Yom-Tov, Paul Wernick:
An Open Source Simulation Model of Software Development and Testing. Haifa Verification Conference 2006: 124-137 - [c24]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: 458-465 - [c23]Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur:
Producing scheduling that causes concurrent programs to fail. PADTAD 2006: 37-40 - [c22]Shady Copty, Shmuel Ur:
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. TV@FLoC 2006: 151-165 - [e2]Shmuel Ur, Eyal Bin, Yaron Wolfsthal:
Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3875, Springer 2006, ISBN 3-540-32604-9 [contents] - [e1]Shmuel Ur, Eitan Farchi:
Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006. ACM 2006, ISBN 1-59593-414-6 [contents] - 2005
- [c21]Shady Copty, Shmuel Ur:
Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!. Euro-Par 2005: 740-749 - [c20]Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc:
An Extensible Open-Source Compiler Infrastructure for Testing. Haifa Verification Conference 2005: 116-133 - [c19]Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur:
Applications of synchronization coverage. PPoPP 2005: 206-212 - 2004
- [c18]Shai Fine, Shmuel Ur, Avi Ziv:
Probabilistic regression suites for functional verification. DAC 2004: 49-54 - [c17]Marina Biberstein, Eitan Farchi, Shmuel Ur:
Fidgeting to the Point of No Return. IPDPS 2004 - [c16]Yaniv Eytani, Shmuel Ur:
Compiling a Benchmark of Documented Multi-Threaded Bugs. IPDPS 2004 - [c15]Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv:
Probabilistic Alternative Regression Suites. ISoLA (Preliminary proceedings) 2004: 89-91 - 2003
- [j3]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): 485-499 (2003) - [c14]Eitan Farchi, Yarden Nir, Shmuel Ur:
Concurrent Bug Patterns and How to Test Them. IPDPS 2003: 286 - [c13]Klaus Havelund, Scott D. Stoller, Shmuel Ur:
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS 2003: 286 - [c12]Marina Biberstein, Eitan Farchi, Shmuel Ur:
Choosing among Alternative Pasts. IPDPS 2003: 289 - 2002
- [j2]Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur:
Multithreaded Java program test generation. IBM Syst. J. 41(1): 111-125 (2002) - [c11]Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv:
Hole analysis for functional coverage data. DAC 2002: 807-812 - [c10]Gil Ratsaby, Baruch Sterin, Shmuel Ur:
Improvements in Coverability Analysis. FME 2002: 41-56 - 2001
- [c9]Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal:
Coverability Analysis Using Symbolic Model Checking. CHARME 2001: 155-160 - [c8]Gilly Nativ, Steven Mittermaier, Shmuel Ur, Avi Ziv:
Cost evaluation of coverage directed test generation for the IBM mainframe. ITC 2001: 793-802 - [c7]Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur:
Multithreaded Java program test generation. Java Grande 2001: 181
1990 – 1999
- 1999
- [c6]Shmuel Ur, Yaov Yadin:
Micro Architecture Coverage Directed Generation of Test Programs. DAC 1999: 175-180 - 1998
- [c5]Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv:
User Defined Coverage - A Tool Supported Methodology for Design Verification. DAC 1998: 158-163 - 1997
- [c4]Erez Buchnik, Shmuel Ur:
Compacting regression-suites on-the-fly. APSEC 1997: 385-394 - 1996
- [j1]Azaria Paz, Judea Pearl, Shmuel Ur:
A new characterization of graphs based on interception relations. J. Graph Theory 22(2): 125-136 (1996) - [c3]Daniel Lewin, Dean H. Lorenz, Shmuel Ur:
A Methodology for Processor Implementation Verification. FMCAD 1996: 126-142 - [c2]Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal:
Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158 - 1992
- [c1]Shmuel Ur, Michael A. Trick, Daniel Dominic Sleator:
Analysis of Online Algorithms for Organ Allocation. IFIP Congress (1) 1992: 458-464
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 20:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
