The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eitan Farchi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg
    Effective Testing and Debugging Techniques for a Group Communication System. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:80-85 [Conf]
  2. Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon
    Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:149-157 [Conf]
  3. Eitan Farchi, Bradley R. Harrington
    Assisting the Code Review Process Using Simple Pattern Recognition. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2005, pp:103-115 [Conf]
  4. Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani
    Heuristics for Finding Concurrent Bug. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:288- [Conf]
  5. Marina Biberstein, Eitan Farchi, Shmuel Ur
    Choosing among Alternative Pasts. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:289- [Conf]
  6. Marina Biberstein, Eitan Farchi, Shmuel Ur
    Fidgeting to the Point of No Return. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  7. Eitan Farchi, Yoel Krasny, Yarden Nir
    Automatic Simulation of Network Problems in UDP-Based Java Programs. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  8. Eitan Farchi, Yarden Nir, Shmuel Ur
    Concurrent Bug Patterns and How to Test Them. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:286- [Conf]
  9. Amiram Hayardeny, Shachar Fienblit, Eitan Farchi
    Concurrent and Distributed Desk Checking. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  10. 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]
  11. 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]
  12. David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer
    Automatic query refinement using lexical affinities with maximal information gain. [Citation Graph (0, 0)][DBLP]
    SIGIR, 2002, pp:283-290 [Conf]
  13. Aya Soffer, David Carmel, Doron Cohen, Ronald Fagin, Eitan Farchi, Michael Herscovici, Yoëlle S. Maarek
    Static Index Pruning for Information Retrieval Systems. [Citation Graph (0, 0)][DBLP]
    SIGIR, 2001, pp:43-50 [Conf]
  14. Yosi Ben-Asher, Eitan Farchi, Ilan Newman
    Optimal Search in Trees: Extended Abstract + Appendix. [Citation Graph (0, 0)][DBLP]
    SODA, 1997, pp:739-746 [Conf]
  15. 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]
  16. 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]
  17. Eitan Farchi, Alan Hartman, Shlomit S. Pinter
    Using a model-based test generator to test for standard conformance. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 2002, v:41, n:1, pp:89-110 [Journal]
  18. Yosi Ben-Asher, Eitan Farchi, Ilan Newman
    Optimal Search in Trees. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1999, v:28, n:6, pp:2090-2102 [Journal]

  19. Cross-Entropy-Based Replay of Concurrent Programs. [Citation Graph (, )][DBLP]


  20. Cross-Entropy Based Testing. [Citation Graph (, )][DBLP]


  21. SeeCode - A Code Review Plug-in for Eclipse. [Citation Graph (, )][DBLP]


  22. The Advantages of Post-Link Code Coverage. [Citation Graph (, )][DBLP]


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


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


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


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


  27. Pitfalls in teaching development and testing of concurrent programs and how to overcome them. [Citation Graph (, )][DBLP]


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


  29. Formal verification of concurrent software: two case studies. [Citation Graph (, )][DBLP]


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


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


  32. Distributed desk checking. [Citation Graph (, )][DBLP]


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


Search in 0.003secs, Finished in 0.005secs
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