The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Shmuel Ur: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Erez Buchnik, Shmuel Ur
    Compacting regression-suites on-the-fly. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:385-394 [Conf]
  2. Gil Ratzaby, Shmuel Ur, Yaron Wolfsthal
    Coverability Analysis Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:155-160 [Conf]
  3. Shai Fine, Shmuel Ur, Avi Ziv
    Probabilistic regression suites for functional verification. [Citation Graph (0, 0)][DBLP]
    DAC, 2004, pp:49-54 [Conf]
  4. 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]
  5. 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]
  6. Shmuel Ur, Yaov Yadin
    Micro Architecture Coverage Directed Generation of Test Programs. [Citation Graph (0, 0)][DBLP]
    DAC, 1999, pp:175-180 [Conf]
  7. 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]
  8. Gil Ratsaby, Baruch Sterin, Shmuel Ur
    Improvements in Coverability Analysis. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:41-56 [Conf]
  9. Daniel Lewin, Dean H. Lorenz, Shmuel Ur
    A Methodology for Processor Implementation Verification. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:126-142 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Marina Biberstein, Eitan Farchi, Shmuel Ur
    Choosing among Alternative Pasts. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:289- [Conf]
  16. Marina Biberstein, Eitan Farchi, Shmuel Ur
    Fidgeting to the Point of No Return. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  17. Yaniv Eytani, Shmuel Ur
    Compiling a Benchmark of Documented Multi-Threaded Bugs. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  18. Eitan Farchi, Yarden Nir, Shmuel Ur
    Concurrent Bug Patterns and How to Test Them. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:286- [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]

  28. Topic 1: Support Tools and Environments. [Citation Graph (, )][DBLP]


  29. Evaluating Workloads Using Comparative Functional Coverage. [Citation Graph (, )][DBLP]


  30. Automated substring hole analysis. [Citation Graph (, )][DBLP]


  31. Combinatorial test design in practice. [Citation Graph (, )][DBLP]


  32. Improving throughput via slowdowns. [Citation Graph (, )][DBLP]


  33. Probabilistic Alternative Regression Suites. [Citation Graph (, )][DBLP]


  34. Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. [Citation Graph (, )][DBLP]


  35. 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). [Citation Graph (, )][DBLP]


  36. Forcing small models of conditions on program interleaving for detection of concurrent bugs. [Citation Graph (, )][DBLP]


  37. Healing data races on-the-fly. [Citation Graph (, )][DBLP]


  38. Producing scheduling that causes concurrent programs to fail. [Citation Graph (, )][DBLP]


  39. Advanced code coverage analysis using substring holes. [Citation Graph (, )][DBLP]


  40. Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. [Citation Graph (, )][DBLP]


  41. ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. [Citation Graph (, )][DBLP]


  42. Deadlocks: From Exhibiting to Healing. [Citation Graph (, )][DBLP]


  43. A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. [Citation Graph (, )][DBLP]


  44. Selective Homeworkless Reviews. [Citation Graph (, )][DBLP]


  45. Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD). [Citation Graph (, )][DBLP]


  46. Towards a framework and a benchmark for testing tools for multi-threaded programs. [Citation Graph (, )][DBLP]


  47. Choosing among alternative pasts. [Citation Graph (, )][DBLP]


Search in 0.031secs, Finished in 0.032secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002