Shmuel Ur - RankMe

68 papers A* 6A 10B 7C 2Journal 13Unranked 25

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