|
Search the dblp DataBase
Shmuel Ur:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Erez Buchnik, Shmuel Ur
Compacting regression-suites on-the-fly. [Citation Graph (0, 0)][DBLP] APSEC, 1997, pp:385-394 [Conf]
- Gil Ratzaby, Shmuel Ur, Yaron Wolfsthal
Coverability Analysis Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] CHARME, 2001, pp:155-160 [Conf]
- Shai Fine, Shmuel Ur, Avi Ziv
Probabilistic regression suites for functional verification. [Citation Graph (0, 0)][DBLP] DAC, 2004, pp:49-54 [Conf]
- Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv
User Defined Coverage - A Tool Supported Methodology for Design Verification. [Citation Graph (0, 0)][DBLP] DAC, 1998, pp:158-163 [Conf]
- Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv
Hole analysis for functional coverage data. [Citation Graph (0, 0)][DBLP] DAC, 2002, pp:807-812 [Conf]
- Shmuel Ur, Yaov Yadin
Micro Architecture Coverage Directed Generation of Test Programs. [Citation Graph (0, 0)][DBLP] DAC, 1999, pp:175-180 [Conf]
- Shady Copty, Shmuel Ur
Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!. [Citation Graph (0, 0)][DBLP] Euro-Par, 2005, pp:740-749 [Conf]
- Gil Ratsaby, Baruch Sterin, Shmuel Ur
Improvements in Coverability Analysis. [Citation Graph (0, 0)][DBLP] FME, 2002, pp:41-56 [Conf]
- Daniel Lewin, Dean H. Lorenz, Shmuel Ur
A Methodology for Processor Implementation Verification. [Citation Graph (0, 0)][DBLP] FMCAD, 1996, pp:126-142 [Conf]
- Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal
Coverage-Directed Test Generation Using Symbolic Techniques. [Citation Graph (0, 0)][DBLP] FMCAD, 1996, pp:143-158 [Conf]
- Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc
An Extensible Open-Source Compiler Infrastructure for Testing. [Citation Graph (0, 0)][DBLP] Haifa Verification Conference, 2005, pp:116-133 [Conf]
- Shmuel Ur
A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques. [Citation Graph (0, 0)][DBLP] Haifa Verification Conference, 2006, pp:122-123 [Conf]
- Shmuel Ur, Elad Yom-Tov, Paul Wernick
An Open Source Simulation Model of Software Development and Testing. [Citation Graph (0, 0)][DBLP] Haifa Verification Conference, 2006, pp:124-137 [Conf]
- Shmuel Ur, Michael A. Trick, Daniel Dominic Sleator
Analysis of Online Algorithms for Organ Allocation. [Citation Graph (0, 0)][DBLP] IFIP Congress (1), 1992, pp:458-464 [Conf]
- Marina Biberstein, Eitan Farchi, Shmuel Ur
Choosing among Alternative Pasts. [Citation Graph (0, 0)][DBLP] IPDPS, 2003, pp:289- [Conf]
- Marina Biberstein, Eitan Farchi, Shmuel Ur
Fidgeting to the Point of No Return. [Citation Graph (0, 0)][DBLP] IPDPS, 2004, pp:- [Conf]
- Yaniv Eytani, Shmuel Ur
Compiling a Benchmark of Documented Multi-Threaded Bugs. [Citation Graph (0, 0)][DBLP] IPDPS, 2004, pp:- [Conf]
- Eitan Farchi, Yarden Nir, Shmuel Ur
Concurrent Bug Patterns and How to Test Them. [Citation Graph (0, 0)][DBLP] IPDPS, 2003, pp:286- [Conf]
- Klaus Havelund, Scott D. Stoller, Shmuel Ur
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . [Citation Graph (0, 0)][DBLP] IPDPS, 2003, pp:286- [Conf]
- Gilly Nativ, Steven Mittermaier, Shmuel Ur, Avi Ziv
Cost evaluation of coverage directed test generation for the IBM mainframe. [Citation Graph (0, 0)][DBLP] ITC, 2001, pp:793-802 [Conf]
- Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur
Multithreaded Java program test generation. [Citation Graph (0, 0)][DBLP] Java Grande, 2001, pp:181- [Conf]
- Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur
Applications of synchronization coverage. [Citation Graph (0, 0)][DBLP] PPOPP, 2005, pp:206-212 [Conf]
- Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur
Framework for testing multi-threaded Java programs. [Citation Graph (0, 0)][DBLP] Concurrency and Computation: Practice and Experience, 2003, v:15, n:3-5, pp:485-499 [Journal]
- Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur
Multithreaded Java program test generation. [Citation Graph (0, 0)][DBLP] IBM Systems Journal, 2002, v:41, n:1, pp:111-125 [Journal]
- Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar
Advanced Analysis Techniques for Cross-Product Coverage. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 2006, v:55, n:11, pp:1367-1379 [Journal]
- Rachel Tzoref, Shmuel Ur, Elad Yom-Tov
Instrumenting where it hurts: an automatic concurrent debugging technique. [Citation Graph (0, 0)][DBLP] ISSTA, 2007, pp:27-38 [Conf]
- Shady Copty, Shmuel Ur
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:151-165 [Journal]
Topic 1: Support Tools and Environments. [Citation Graph (, )][DBLP]
Evaluating Workloads Using Comparative Functional Coverage. [Citation Graph (, )][DBLP]
Automated substring hole analysis. [Citation Graph (, )][DBLP]
Combinatorial test design in practice. [Citation Graph (, )][DBLP]
Improving throughput via slowdowns. [Citation Graph (, )][DBLP]
Probabilistic Alternative Regression Suites. [Citation Graph (, )][DBLP]
Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. [Citation Graph (, )][DBLP]
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). [Citation Graph (, )][DBLP]
Forcing small models of conditions on program interleaving for detection of concurrent bugs. [Citation Graph (, )][DBLP]
Healing data races on-the-fly. [Citation Graph (, )][DBLP]
Producing scheduling that causes concurrent programs to fail. [Citation Graph (, )][DBLP]
Advanced code coverage analysis using substring holes. [Citation Graph (, )][DBLP]
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. [Citation Graph (, )][DBLP]
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. [Citation Graph (, )][DBLP]
Deadlocks: From Exhibiting to Healing. [Citation Graph (, )][DBLP]
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. [Citation Graph (, )][DBLP]
Selective Homeworkless Reviews. [Citation Graph (, )][DBLP]
Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD). [Citation Graph (, )][DBLP]
Towards a framework and a benchmark for testing tools for multi-threaded programs. [Citation Graph (, )][DBLP]
Choosing among alternative pasts. [Citation Graph (, )][DBLP]
Search in 0.031secs, Finished in 0.032secs
|