Search results for "Shmuel Ur"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur	Evaluating workloads using comparative functional coverage.	STTT	2011	DBLP DOI BibTeX RDF
1	Shin Yoo, Mark Harman, Shmuel Ur	Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards.	SSBSE	2011	DBLP DOI BibTeX RDF
1	Yoram Adler, Noam Behar, Orna Raz, Onn Shehory, Nadav Steindler, Shmuel Ur, Aviad Zlotnick	Code coverage analysis in practice for large systems.	ICSE	2011	DBLP DOI BibTeX RDF
1	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 Journal of Research and Development	2010	DBLP DOI BibTeX RDF
1	Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur	A platform for search-based testing of concurrent software.	PDATAD	2010	DBLP DOI BibTeX RDF
1	Shmuel Ur	Testing Concurrent Software.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur	Improving throughput via slowdowns.	ICSE	2010	DBLP DOI BibTeX RDF	automated performance management, self-managing systems
1	Myra B. Cohen, Shmuel Ur	Combinatorial test design in practice.	ICSE	2010	DBLP DOI BibTeX RDF	functional testing, combinatorial interaction testing
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	concurrency bug patterns, dynamic exploration, forcing algorithm, model of conditions on program interleaving, analysis
1	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	DBLP DOI BibTeX RDF	software testing, coverage analysis
1	Yoram Adler, Shmuel Ur, Dale Blue	Evaluating Workloads Using Multi-comparative Functional Coverage.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick	Automated substring hole analysis.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv	A probabilistic alternative to regression suites.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Eitan Farchi, Shmuel Ur	Selective Homeworkless Reviews.	ICST	2008	DBLP DOI BibTeX RDF	testing, inspection, reviews
1	Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur	Deadlocks: From Exhibiting to Healing.	RV	2008	DBLP DOI BibTeX RDF
1	Marios D. Dikaiakos, Omer F. Rana, Shmuel Ur, João Lourenço	Topic 1: Support Tools and Environments.	Euro-Par	2008	DBLP DOI BibTeX RDF
1	Shmuel Ur, Scott D. Stoller, Eitan Farchi	6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08).	ISSTA	2008	DBLP DOI BibTeX RDF	testing, parallel, concurrent, debugging, distributed, multi-threaded
1	Shmuel Ur (eds.)	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	2008	DBLP BibTeX RDF
1	Elad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory	Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections.	ASE	2008	DBLP DOI BibTeX RDF
1	Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur	Evaluating Workloads Using Comparative Functional Coverage.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Shmuel Ur	Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD).	Concurrency and Computation: Practice and Experience	2007	DBLP DOI BibTeX RDF
1	Marina Biberstein, Eitan Farchi, Shmuel Ur	Choosing among alternative pasts.	Concurrency and Computation: Practice and Experience	2007	DBLP DOI BibTeX RDF
1	Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur	Towards a framework and a benchmark for testing tools for multi-threaded programs.	Concurrency and Computation: Practice and Experience	2007	DBLP DOI BibTeX RDF
1	Shady Copty, Shmuel Ur	Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Shmuel Ur, Eitan Farchi (eds.)	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	2007	DBLP BibTeX RDF
1	Rachel Tzoref, Shmuel Ur, Elad Yom-Tov	Instrumenting where it hurts: an automatic concurrent debugging technique.	ISSTA	2007	DBLP DOI BibTeX RDF	feature selection, concurrency, debugging
1	Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar	Healing data races on-the-fly.	PADTAD	2007	DBLP DOI BibTeX RDF	testing, concurrency, self-healing
1	Yarden Nir-Buchbinder, Shmuel Ur	ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools.	SOQUA	2007	DBLP DOI BibTeX RDF	Java, testing, concurrency, instrumentation, self-healing
1	Eyal Bin, Avi Ziv, Shmuel Ur (eds.)	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	2007	DBLP BibTeX RDF
1	Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar	Advanced Analysis Techniques for Cross-Product Coverage.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Functional verification, coverage analysis, classification algorithms
1	Shmuel Ur, Eitan Farchi (eds.)	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	2006	DBLP BibTeX RDF
1	Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur	Producing scheduling that causes concurrent programs to fail.	PADTAD	2006	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)	Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers	Haifa Verification Conference	2006	DBLP BibTeX RDF
1	Shmuel Ur, Elad Yom-Tov, Paul Wernick	An Open Source Simulation Model of Software Development and Testing.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	Simulation, Performance, Design, Algorithms, Reliability, Verification, Measurement, Software Development, Management, Theory, Experimentation, Economics, Iterative design
1	Shmuel Ur	A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Shady Copty, Shmuel Ur	Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!.	Euro-Par	2005	DBLP DOI BibTeX RDF
1	Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc	An Extensible Open-Source Compiler Infrastructure for Testing.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
1	Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur	Applications of synchronization coverage.	PPOPP	2005	DBLP DOI BibTeX RDF	testing, coverage, multi-threading
1	Yaniv Eytani, Shmuel Ur	Compiling a Benchmark of Documented Multi-Threaded Bugs.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Marina Biberstein, Eitan Farchi, Shmuel Ur	Fidgeting to the Point of No Return.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Shai Fine, Shmuel Ur, Avi Ziv	Probabilistic regression suites for functional verification.	DAC	2004	DBLP DOI BibTeX RDF	regression suite, functional verification, coverage analysis
1	Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv	Probabilistic Alternative Regression Suites.	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
1	Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur	Framework for testing multi-threaded Java programs.	Concurrency and Computation: Practice and Experience	2003	DBLP DOI BibTeX RDF
1	Marina Biberstein, Eitan Farchi, Shmuel Ur	Choosing among Alternative Pasts.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Klaus Havelund, Scott D. Stoller, Shmuel Ur	Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . (PDF / PS)	IPDPS	2003	DBLP DOI BibTeX RDF
1	Eitan Farchi, Yarden Nir, Shmuel Ur	Concurrent Bug Patterns and How to Test Them. (PDF / PS)	IPDPS	2003	DBLP DOI BibTeX RDF
1	Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur	Multithreaded Java program test generation.	IBM Systems Journal	2002	DBLP BibTeX RDF
1	Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv	Hole analysis for functional coverage data.	DAC	2002	DBLP DOI BibTeX RDF	functional verification, coverage analysis
1	Gil Ratsaby, Baruch Sterin, Shmuel Ur	Improvements in Coverability Analysis.	FME	2002	DBLP DOI BibTeX RDF
1	Gilly Nativ, Steven Mittermaier, Shmuel Ur, Avi Ziv	Cost evaluation of coverage directed test generation for the IBM mainframe.	ITC	2001	DBLP DOI BibTeX RDF
1	Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal	Coverability Analysis Using Symbolic Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
1	Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur	Multithreaded Java program test generation.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
1	Shmuel Ur, Yaov Yadin	Micro Architecture Coverage Directed Generation of Test Programs.	DAC	1999	DBLP DOI BibTeX RDF
1	Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv	User Defined Coverage - A Tool Supported Methodology for Design Verification.	DAC	1998	DBLP DOI BibTeX RDF	high-level synthesis, telecommunication
1	Erez Buchnik, Shmuel Ur	Compacting regression-suites on-the-fly.	APSEC	1997	DBLP DOI BibTeX RDF	regression suite compaction algorithm, regression suite size minimization, online set-cover, intermediate set size, software testing, coverage, program testing, bugs, computational resources, solution quality
1	Daniel Lewin, Dean H. Lorenz, Shmuel Ur	A Methodology for Processor Implementation Verification.	FMCAD	1996	DBLP DOI BibTeX RDF
1	Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal	Coverage-Directed Test Generation Using Symbolic Techniques.	FMCAD	1996	DBLP DOI BibTeX RDF
1	Shmuel Ur, Michael A. Trick, Daniel Dominic Sleator	Analysis of Online Algorithms for Organ Allocation.	IFIP Congress	1992	DBLP BibTeX RDF

Publications of "Shmuel Ur" ( http://dblp.L3S.de/Authors/Shmuel_Ur )