2009 | ||
---|---|---|
31 | EE | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy-Based Replay of Concurrent Programs. FASE 2009: 201-215 |
2008 | ||
30 | EE | Moran Shochat, Orna Raz, Eitan Farchi: SeeCode - A Code Review Plug-in for Eclipse. Haifa Verification Conference 2008: 205-209 |
29 | EE | Eitan Farchi, Shmuel Ur: Selective Homeworkless Reviews. ICST 2008: 404-413 |
28 | EE | Shmuel Ur, Scott D. Stoller, Eitan Farchi: 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA 2008: 309-310 |
27 | EE | Eitan Farchi: Pitfalls in teaching development and testing of concurrent programs and how to overcome them. PADTAD 2008: 11 |
2007 | ||
26 | Shmuel Ur, Eitan Farchi: 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 ACM 2007 | |
25 | EE | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy Based Testing. FMCAD 2007: 101-108 |
24 | EE | Orna Raz, Moshe Klausner, Nitzan Peleg, Gadi Haber, Eitan Farchi, Shachar Fienblit, Yakov S. Filiarsky, Shay Gammer, Sergey Novikov: The Advantages of Post-Link Code Coverage. Haifa Verification Conference 2007: 235-251 |
23 | EE | Amiram Hayardeny, Shachar Fienblit, Eitan Farchi: Distributed desk checking. Concurrency and Computation: Practice and Experience 19(3): 295-309 (2007) |
22 | EE | Marina Biberstein, Eitan Farchi, Shmuel Ur: Choosing among alternative pasts. Concurrency and Computation: Practice and Experience 19(3): 341-353 (2007) |
2006 | ||
21 | Shmuel Ur, Eitan Farchi: 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 ACM 2006 | |
20 | EE | Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz: Formal verification of concurrent software: two case studies. PADTAD 2006: 11-22 |
19 | EE | Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur: Producing scheduling that causes concurrent programs to fail. PADTAD 2006: 37-40 |
2005 | ||
18 | EE | Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg: Effective Testing and Debugging Techniques for a Group Communication System. DSN 2005: 80-85 |
17 | EE | Eitan Farchi, Bradley R. Harrington: Assisting the Code Review Process Using Simple Pattern Recognition. Haifa Verification Conference 2005: 103-115 |
16 | EE | Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon: Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. Haifa Verification Conference 2005: 149-157 |
15 | EE | Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur: Applications of synchronization coverage. PPOPP 2005: 206-212 |
2004 | ||
14 | EE | Eitan Farchi, Yoel Krasny, Yarden Nir: Automatic Simulation of Network Problems in UDP-Based Java Programs. IPDPS 2004 |
13 | EE | Amiram Hayardeny, Shachar Fienblit, Eitan Farchi: Concurrent and Distributed Desk Checking. IPDPS 2004 |
12 | EE | Marina Biberstein, Eitan Farchi, Shmuel Ur: Fidgeting to the Point of No Return. IPDPS 2004 |
2003 | ||
11 | EE | Eitan Farchi, Yarden Nir, Shmuel Ur: Concurrent Bug Patterns and How to Test Them. IPDPS 2003: 286 |
10 | EE | Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani: Heuristics for Finding Concurrent Bug. IPDPS 2003: 288 |
9 | EE | Marina Biberstein, Eitan Farchi, Shmuel Ur: Choosing among Alternative Pasts. IPDPS 2003: 289 |
8 | 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 15(3-5): 485-499 (2003) | |
2002 | ||
7 | EE | David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer: Automatic query refinement using lexical affinities with maximal information gain. SIGIR 2002: 283-290 |
6 | EE | Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. IBM Systems Journal 41(1): 111-125 (2002) |
5 | EE | Eitan Farchi, Alan Hartman, Shlomit S. Pinter: Using a model-based test generator to test for standard conformance. IBM Systems Journal 41(1): 89-110 (2002) |
2001 | ||
4 | EE | Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. Java Grande 2001: 181 |
3 | Aya Soffer, David Carmel, Doron Cohen, Ronald Fagin, Eitan Farchi, Michael Herscovici, Yoëlle S. Maarek: Static Index Pruning for Information Retrieval Systems. SIGIR 2001: 43-50 | |
1999 | ||
2 | Yosi Ben-Asher, Eitan Farchi, Ilan Newman: Optimal Search in Trees. SIAM J. Comput. 28(6): 2090-2102 (1999) | |
1997 | ||
1 | Yosi Ben-Asher, Eitan Farchi, Ilan Newman: Optimal Search in Trees: Extended Abstract + Appendix. SODA 1997: 739-746 |