Eitan Farchi  Eitan Farchi photo       

contact information

DE, AOT, Software Testing Analysis and Reviews (STAR)
Haifa Research Lab, Haifa, Israel

links



2009

Forcing small models of conditions on program interleaving for detection of concurrent bugs
E Trainin, Y Nir-Buchbinder, R Tzoref-Brill, A Zlotnick, S Ur, E Farchi
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, pp. 1--6, 2009

Replay of program executions using cross-entropy
H Chockler, E D Farchi, B Godlin
2009 - freepatentsonline.com

Using Cross-entropy to Test Executable Logic Code
H Chockler, E D Farchi, B Godlin, S Novikov
2009 - freepatentsonline.com

Cross-Entropy-Based Replay of Concurrent Programs
H Chockler, E Farchi, B Godlin, S Novikov
Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, pp. 201--215

Concern based hole analysis
S Fienblit, E Farchi, M Shochat
US Patent 7,617,484, 2009 - freepatentsonline.com
US Patent 7,617,484

SeeCode--A Code Review Plug-in for Eclipse
M Shochat, O Raz, E Farchi
Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing, pp. 205--209, 2009

Advanced code coverage analysis using substring holes
Y Adler, E Farchi, M Klausner, D Pelleg, O Raz, M Shochat, S Ur, A Zlotnick
Proceedings of the eighteenth international symposium on Software testing and analysis, pp. 37--46, 2009

Automated substring hole analysis
Y Adler, E Farchi, M Klausner, D Pelleg, O Raz, M Shochat, S Ur, A Zlotnick
ICSE, NIER Track, 2009


2008

Multi-Dimension Code Coverage
S UR, E D Farchi
2008 - freepatentsonline.com

DETERMINING MINIMAL SETS OF BUGS SOLUTIONS FOR A COMPUTER PROGRAM
M Biberstein, S Bushinsky, E Farchi, S Ur
US Patent App. 12/ ..., 2008 - Google Patents, Google Patents
US Patent App. 12/049,334

The Advantages of Post-Link Code Coverage
O Raz, M Klausner, N Peleg, G Haber, E Farchi, S Fienblit, Y Filiarsky, S Gammer, S Novikov
Lecture Notes in Computer Science4899, 235, Springer, 2008

DEVICE, METHOD AND COMPUTER PROGRAM PRODUCT FOR EVALUATING A DEBUGGER SCRIPT
E D Farchi, S Fienblit, S Gammer, S Rahav, O Raz-pelleg, D Tzafrir, A Zlotnick
pelleg, D Tzafrir, A Zlotnick - 2008 - freepatentsonline.com

6th workshop on parallel and distributed systems: testing and debugging (PADTAD'08)
S Ur, S D Stoller, E D Farchi
Proceedings of the 2008 international symposium on Software testing and analysis, pp. 309--310

Pitfalls in teaching development and testing of concurrent programs and how to overcome them
E Farchi
Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging, pp. 11, 2008

Selective Homeworkless Review
E Farchi, S Ur
International Conference on Software Testing, Verification and Validation, pp. 404--413, 2008


2007

Choosing among alternative pasts: Research Articles
M Biberstein, E Farchi, S Ur
Concurrency and Computation: Practice \& Experience 19(3), 353, John Wiley and Sons Ltd., 2007

Distributed desk checking: Research Articles
A Hayardeny, S Fienblit, E Farchi
Concurrency and Computation: Practice \& Experience 19(3), 309, John Wiley and Sons Ltd., 2007

Bug patterns in MPD programs
E Farchi
International Symposium on Software Testing and Analysis: Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging

Cross-entropy based testing
H Chockler, E Farchi, B Godlin, S Novikov
Formal Methods in Computer Aided Design, 2007, pp. 101--108

Choosing among alternative pasts
M Biberstein, E Farchi, S Ur
CONCURRENCY AND COMPUTATION 19(3), 341, John Wiley \& Sons, Ltd, 2007


2006

Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains
Y Ben-Asher, I Breger, E Farchi, I Gordon
Lecture Notes in Computer Science3875, 149, Springer, 2006

Stressing concurrent programs
E Farchi
International Symposium on Software Testing and Analysis: Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging

System, Method and Computer Program Product for Checking a Software Entity
H Chockler, E D Farchi, Z Glazberg, B Godlin
US Patent App. 11/ ..., 2006 - Google Patents, Google Patents
US Patent App. 11/456,226

Decision support tool for interleaving review software testing
E D Farchi, Z Glazberg, I Rabinovitz
US Patent App. 11/345,882, 2006 - Google Patents, Google Patents
US Patent App. 11/345,882

Assisting the code review process using simple pattern recognition
E Farchi, B R Harrington
Lecture Notes in Computer Science3875, 103, Springer, 2006

Producing scheduling that causes concurrent programs to fail
Y Ben-Asher, Y Eytani, E Farchi, S Ur
Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging, pp. 40


2005

Deadlock detection in a computing environment
E Farchi, A Krits, Y Nir-Buchbinder
Buchbinder - US Patent App. 11/314,132, 2005 - Google Patents, Google Patents
US Patent App. 11/314,132

Using code motion and write and read delays to increase the probability of bug detection in concurrent systems
M Biberstein, E Farchi, S Ur
US Patent App. 11/038,507, 2005 - Google Patents, Google Patents
US Patent App. 11/038,507

Effective testing and debugging techniques for a group communication system
E Farchi, G Kliot, Y Krasny, A Krits, R Vitenberg
Dependable Systems and Networks (DSN), pp. 80--85, 2005

Discipline Checker for Java
E Farchi, Y Nir-Buchbinder, S U A C R Lock
Tool presented at the Parallel and Distributed Systems: Testing and Debugging (PADTAD) track of the 2005 IBM Verification Conference, Haifa, Israel

Cross-run lock discipline checker for java
E Farchi, Y Nir-Buchbinder, S Ur
Tool proposal for IBM Verification Conference, 2005

Applications of synchronization coverage
A Bron, E Farchi, Y Magid, Y Nir, S Ur
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 212, 2005


2004

Interleaving based coverage models for concurrent and distributed software
S Ur, E Farchi
US Patent 6,779,135, 2004 - Google Patents, Google Patents
US Patent 6,779,135

Using idempotent operations to improve transaction performance
E Farchi, S Fienblit, A Hayardeny, R Matosevich, I Nuriel, S Rahav, D Tzafrir
US Patent App. 10/ ..., 2004 - Google Patents, Google Patents
US Patent App. 10/879,871

Fidgeting to the point of no return
M Biberstein, E Farchi, S Ur
Parallel and Distributed Processing Symposium, 2004


Concurrent and distributed desk checking
A Hayardeny, S Fienblit, E Farchi
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004)--2nd International Workshop on Parallel and Distributed Systems: Testing and Debugging


2003

Testing parallel applications using code instrumentation
M Biberstein, E Farchi, Y Nir, S Ur
US Patent App. 10/438,272, 2003 - Google Patents, Google Patents
US Patent App. 10/438,272

Heuristics for finding concurrent bugs
Y Eytani, E Farchi, Y Ben-Asher
Proc, 2003

Concurrent bug patterns and how to test them
E Farchi, Y Nir, S Ur
Proceedings of the 17th International Symposium on Parallel and Distributed Processing, 2003

Framework for testing multi-threaded Java programs
O Edelstein, E Farchi, E Goldin, Y Nir, G Ratsaby, S Ur
Software Focus 15(3-5), 485--499, 2003


2002

Multithreaded Java program test generation-References
O Edelstein, E Farchi, Y Nir, G Ratsaby, S Ur
IBM Systems Journal 41(1), 2002

Automatic query refinement
D Carmel, E Farchi, Y Petruschka
US Patent App. 10/210,826, 2002 - Google Patents, Google Patents
US Patent App. 10/210,826

Multithreaded Java program test generation-Author bios
O Edelstein, E Farchi, Y Nir, G Ratsaby, S Ur
IBM Systems Journal 41(1), 2002

Using a model-based test generator to test for standard conformance-References
E Farchi, A Hartman, SS Pinter
IBM Systems Journal 41(1), 2002

Using a model-based test generator to test for standard conformance-Author bios
E Farchi, A Hartman, S S Pinter
IBM Systems Journal 41(1), 2002

Race detections for parallel software
S Ur, E Farchi, G Ratsaby
US Patent App. 10/035,422, 2002 - Google Patents, Google Patents
US Patent App. 10/035,422

Timing related bug detector method for detecting data races
A C Azagury, M Factor, E Farchi, V Talmor
US Patent 6,405,326, 2002 - Google Patents, Google Patents
US Patent 6,405,326

Testing multi-threaded java programs
O Edelstein, E Farchi, E Goldin, Y Nir, G Ratsaby, S Ur
IBM System Journal Special Issue on Software Testing 41(1), 2002

Multithreaded Java program test generation
O Edelstein, E Farchi, Y Nir, G Ratsaby, S Ur
IBM Systems Journal 41(1), 111--125, 2002

Automatic query wefinement using lexical affinities with maximal information gain
D Carmel, E Farchi, Y Petruschka, A Soffer
Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval, pp. 283--290, 2002

Using a model-based test generator to test for standard conformance
E. Farchi, A. Hartman, S.S. Pinter
IBM systems journal 41(1), 89--110, IBM, 2002


2000

Caching in a data processing system using the pigeon hole principle
M E Factor, E D Farchi
US Patent 6,094,706, 2000 - Google Patents, Google Patents
US Patent 6,094,706


1997


Compact representations of search in complex domains
Y Ben-Asher, E Farchi
International Game Theory Review 7(2), 171--188, Citeseer, 1997

Rigorous testing using SnapShot
M Factor, E Farchi, S Ur
Israeli Conference on Computer Systems and Software Engineering, Herzliya, Israel, pp. 12--21, 1997


1996

Using Snapshot to Implement Hierarchy of Criteria
M Factor, E Farchi, A Gluska, S Ur
International Workshop on Computer Aided Design, Test and Evaluation for Dependabilty, JUL, 1996

Testing concurrent programs: a formal evaluation of coverage criteria
M Factor, E Farchi, Y Lichtenstein, Y Malka
Seventh Israeli Conference on Computer-Based Systems and Software Engineering (ICCSSE '96), pp. 119, 1996


1994

Using true concurrency to model execution of parallel programs
Y Ben-Asher, E Farchi
International Journal of Parallel Programming 22(4), 375--407, Springer, 1994


Year Unknown


Optimal Algorithmic Debugging and Reduced Coverage
Y Ben-Asher, I Breger, E Farchi, I Gordon
Asher, I Breger, E Farchi , I Gordon - researchweb.watson. ibm .com, 0

Assisting the Code Review Process Using Simple
E Farchi, B R Harrington
researchweb.watson. ibm .com, 0


VALID 2009
D Miron Abramovici, A Alimohammad, C Andr{'e}s, A Bacchelli, C Bartolini, A Baruzzo, D Bianculli, A Bosio, M Caporuscio, R Chandramouli, others
Fakih, E Farchi , RMF Lima, G ... - doi.ieeecomputersociety.org, 0


Distributed desk checking
A Hayardeny, S Fienblit, E Farchi
Software Focus 19(3), 295--309