Concepedia

Eitan Farchi

EF

Statistics

Publications

22

Citations

1.4K

H-Index

16

Active since

2001

Affiliations

IBM Research - Haifa(Current)

IBM (United States)

University of Haifa

Eitan Farchi is an author at IBM Research - Haifa specializing in engineering, software engineering, and computer science.

Top concepts

EngineeringComputer ScienceSoftware EngineeringSoftware TestingProgram AnalysisSoftware AnalysisFormal MethodsSystems EngineeringComputer EngineeringFormal Verification

Publications per year

2001–2023

22

Publications

22

Concurrent bug patterns and how to test them

Eitan Farchi, Y. Nir, Shmuel Ur · 2004 · 218 citations

Software Maintenance, Engineering, Verification +20

Static index pruning for information retrieval systems

David Carmel, Doron Cohen, Ronald Fagin et al. · 2001 · 209 citations

Natural Language Processing, Engineering, Information Retrieval +14

Multithreaded Java program test generation

Orit Edelstein, Eitan Farchi, Y. Nir et al. · IBM Systems Journal · 2002 · 206 citations

Synchronization Faults, Engineering, Test Data Generation +18

Framework for testing multi‐threaded Java programs

Orit Edelstein, Eitan Farchi, Evgeny Goldin et al. · Concurrency and Computation Practice and Experience · 2003 · 142 citations

Engineering, Software Systems, Test Data Generation +19

Using a model-based test generator to test for standard conformance

Eitan Farchi, Alan Hartman, Shlomit S. Pinter · IBM Systems Journal · 2002 · 106 citations

Standard Conformance, Engineering, Verification +21

1–5 of 22