Using true concurrency to model execution of parallel programs. - Yosi Ben-Asher; Eitan Farchi (Int. J. Parallel Program., 1994)

Optimal Search in Trees: Extended Abstract + Appendix. - Yosi Ben-Asher; Eitan Farchi; Ilan Newman (SODA, 1997)

Optimal Search in Trees. - Yosi Ben-Asher; Eitan Farchi; Ilan Newman (SIAM J. Comput., 1999)

Static Index Pruning for Information Retrieval Systems. - Aya Soffer; David Carmel; Doron Cohen 001; Ronald Fagin; Eitan Farchi; Michael Herscovici; Yoëlle S. Maarek (SIGIR, 2001)

Automatic query refinement using lexical affinities with maximal information gain. - David Carmel; Eitan Farchi; Yael Petruschka; Aya Soffer (SIGIR, 2002)

Multithreaded Java program test generation. - Orit Edelstein; Eitan Farchi; Yarden Nir; Gil Ratsaby; Shmuel Ur (IBM Syst. J., 2002)

Using a model-based test generator to test for standard conformance. - Eitan Farchi; Alan Hartman; Shlomit S. Pinter (IBM Syst. J., 2002)

Heuristics for Finding Concurrent Bug. - Yosi Ben-Asher; Eitan Farchi; Yaniv Eytani (IPDPS, 2003)

Concurrent Bug Patterns and How to Test Them. - Eitan Farchi; Yarden Nir; Shmuel Ur (IPDPS, 2003)

Framework for testing multi-threaded Java programs. - Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur (Concurr. Comput. Pract. Exp., 2003)

Fidgeting to the Point of No Return. - Marina Biberstein; Eitan Farchi; Shmuel Ur (IPDPS, 2004)

Automatic Simulation of Network Problems in UDP-Based Java Programs. - Eitan Farchi; Yoel Krasny; Yarden Nir (IPDPS, 2004)

Concurrent and Distributed Desk Checking. - Amiram Hayardeny; Shachar Fienblit; Eitan Farchi (IPDPS, 2004)

Effective Testing and Debugging Techniques for a Group Communication System. - Eitan Farchi; Gabriel Kliot; Yoel Krasny; Alex Krits; Roman Vitenberg (DSN, 2005)

Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. - Yosi Ben-Asher; Igor Breger; Eitan Farchi; Ilia Gordon (Haifa Verification Conference, 2005)

Assisting the Code Review Process Using Simple Pattern Recognition. - Eitan Farchi; Bradley R. Harrington (Haifa Verification Conference, 2005)

Applications of synchronization coverage. - Arkady Bron; Eitan Farchi; Yonit Magid; Yarden Nir; Shmuel Ur (PPoPP, 2005)

Compact Representations of Search in Complex Domains. - Yosi Ben-Asher; Eitan Farchi (IGTR, 2005)

Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. - Yosi Ben-Asher; Eitan Farchi; Yaniv Eytani; Shmuel Ur (ISoLA, 2006)

Producing scheduling that causes concurrent programs to fail. - Yosi Ben-Asher; Yaniv Eytani; Eitan Farchi; Shmuel Ur (PADTAD, 2006)

Formal verification of concurrent software: two case studies. - Hana Chockler; Eitan Farchi; Ziv Glazberg; Benny Godlin; Yarden Nir-Buchbinder; Ishai Rabinovitz (PADTAD, 2006)

Cross-Entropy Based Testing. - Hana Chockler; Eitan Farchi; Benny Godlin; Sergey Novikov (FMCAD, 2007)

The Advantages of Post-Link Code Coverage. - Orna Raz; Moshe Klausner; Nitzan Peleg; Gadi Haber; Eitan Farchi; Shachar Fienblit; Yakov S. Filiarsky; Shay Gammer; Sergey Novikov (Haifa Verification Conference, 2007)

Choosing among alternative pasts. - Marina Biberstein; Eitan Farchi; Shmuel Ur (Concurr. Comput. Pract. Exp., 2007)

Distributed desk checking. - Amiram Hayardeny; Shachar Fienblit; Eitan Farchi (Concurr. Comput. Pract. Exp., 2007)

SeeCode - A Code Review Plug-in for Eclipse. - Moran Shochat; Orna Raz; Eitan Farchi (Haifa Verification Conference, 2008)

Selective Homeworkless Reviews. - Eitan Farchi; Shmuel Ur (ICST, 2008)

Pitfalls in teaching development and testing of concurrent programs and how to overcome them. - Eitan Farchi (PADTAD, 2008)

6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). - Shmuel Ur; Scott D. Stoller; Eitan Farchi (ISSTA, 2008)

Cross-Entropy-Based Replay of Concurrent Programs. - Hana Chockler; Eitan Farchi; Benny Godlin; Sergey Novikov (FASE, 2009)

Automated substring hole analysis. - Yoram Adler; Eitan Farchi; Moshe Klausner; Dan Pelleg; Orna Raz; Moran Shochat; Shmuel Ur; Aviad Zlotnick (ICSE Companion, 2009)

Advanced code coverage analysis using substring holes. - Yoram Adler; Eitan Farchi; Moshe Klausner; Dan Pelleg; Orna Raz; Moran Shochat; Shmuel Ur; Aviad Zlotnick (ISSTA, 2009)

Forcing small models of conditions on program interleaving for detection of concurrent bugs. - Ehud Trainin; Yarden Nir-Buchbinder; Rachel Tzoref-Brill; Aviad Zlotnick; Shmuel Ur; Eitan Farchi (PADTAD, 2009)

Unit testing for concurrent business code. - Yao Qi; Yarden Nir-Buchbinder; Eitan Farchi; Raja Das; Zhi Da Luo; Zhi Gan (PDATAD, 2010)

Detection of Transactional Memory anomalies using static analysis. - Bruno C. Teixeira; João Lourenço; Eitan Farchi; Ricardo J. Dias; Diogo Sousa 001 (PDATAD, 2010)

Engaging Stakeholders in Globally Distributed Software Development Processes. - Yochai Ben-Chaim; Meira Levy; Irit Hadar; Eitan Farchi; Alla Bronshtein (MCIS, 2010)

Detection of deadlock potentials in multithreaded programs. - Rahul Agarwal; Saddek Bensalem; Eitan Farchi; Klaus Havelund; Yarden Nir-Buchbinder; Scott D. Stoller; Shmuel Ur; Liqiang Wang (IBM J. Res. Dev., 2010)

Practical verification of high-level dataraces in transactional memory programs. - Vasco Pessanha; Ricardo J. Dias; João Lourenço; Eitan Farchi; Diogo Sousa 001 (PADTAD, 2011)

Using binary decision diagrams for combinatorial test design. - Itai Segall; Rachel Tzoref-Brill; Eitan Farchi (ISSTA, 2011)

The Study of Resource Allocation among Software Development Phases: An Economics-Based Approach. - Peleg Yiftachel; Irit Hadar; Dan Peled; Eitan Farchi; Dan Goldwasser (Adv. Softw. Eng., 2011)

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. - Jeremy S. Bradbury; Itai Segall; Eitan Farchi; Kevin Jalbert; David Kelk (PADTAD, 2012)

Using program closures to make an application programming interface (API) implementation thread safe. - Eitan Farchi; Itai Segall; João Lourenço; Diogo Sousa 001 (PADTAD, 2012)

Using Projections to Debug Large Combinatorial Models. - Eitan Farchi; Itai Segall; Rachel Tzoref-Brill (ICST Workshops, 2013)

Combinatorial Testing with Order Requirements. - Eitan Farchi; Itai Segall; Rachel Tzoref-Brill; Aviad Zlotnick (ICST Workshops, 2014)

Using Wiki as a Collaboration Platform for Software Requirements and Design. - Irit Hadar; Meira Levy; Yochai Ben-Chaim; Eitan Farchi (KICSS, 2014)

Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. - Maria Spichkova; Anna Zamansky; Eitan Farchi (ICPADS, 2015)

Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. - Anna Zamansky; Eitan Farchi (SEFM Workshops, 2015)

Exploring the Role of Logic and Formal Methods in Information Systems Education. - Anna Zamansky; Eitan Farchi (SEFM Workshops, 2015)

Teaching Logic to Information Systems Students: Challenges and Opportunities. - Anna Zamansky; Eitan Farchi (CoRR, 2015)

Special issue on testing, analysis and debugging of concurrent programs. - Eitan Farchi; Robert M. Hierons; João Lourenço (Softw. Test. Verification Reliab., 2015)

A Visual Logical Language for System Modelling in Combinatorial Test Design. - Maria Spichkova; Anna Zamansky; Eitan Farchi (CAiSE Workshops, 2016)

A randomized algorithm for constructing cross-feature tests from single feature tests. - Guy Barash; Eitan Farchi (HLDVT, 2017)

A Composition-Based Method for Combinatorial Test Design. - Anna Zamansky; Amir Shwartz; Seri Khoury; Eitan Farchi (ICST Workshops, 2017)

Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence. - Bruno Bouchard 001; Kevin Bouchard; Noam Brown; Niyati Chhaya; Eitan Farchi; Sébastien Gaboury; Christopher W. Geib; Amelie Gyrard; Kokil Jaidka; Sarah Keren; Roni Khardon; Parisa Kordjamshidi; et al. (AI Mag., 2018)

Bridging the gap between ML solutions and their business requirements using feature interactions. - Guy Barash; Eitan Farchi; Ilan Jayaraman; Orna Raz; Rachel Tzoref-Brill; Marcel Zalmanovici (ESEC/SIGSOFT FSE, 2019)

Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence. - Guy Barash; Mauricio Castillo-Effen; Niyati Chhaya; Peter Clark; Huáscar Espinoza; Eitan Farchi; Christopher W. Geib; Odd Erik Gundersen; Seán Ó hÉigeartaigh; José Hernández-Orallo; Chiori Hori; Xiaowei Huang 001; et al. (AI Mag., 2019)

Defending via strategic ML selection. - Eitan Farchi; Onn Shehory; Guy Barash (CoRR, 2019)

Engineering Reliable Deep Learning Systems. - P. Santhanam; Eitan Farchi; Victor Pankratius (CoRR, 2019)

The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. - Grace Bang; Guy Barash; Ryan Beal; Jacques Calì; Mauricio Castillo-Effen; Xin Cynthia Chen; Niyati Chhaya; Rachel Cummings; Rohan Dhoopar; Sebastijan Dumancic; Huáscar Espinoza; Eitan Farchi; et al. (AI Mag., 2020)

Sequential Drift Detection in Deep Learning Classifiers. - Samuel Ackerman; Parijat Dube; Eitan Farchi (CoRR, 2020)

Detection of data drift and outliers affecting machine learning model performance over time. - Samuel Ackerman; Eitan Farchi; Orna Raz; Marcel Zalmanovici; Parijat Dube (CoRR, 2020)

Ranking Data Slices for ML Model Validation: A Shapley Value Approach. - Eitan Farchi; Ramasuri Narayanam; Lokesh Nagalapatti (ICDE, 2021)

Machine Learning Model Drift Detection Via Weak Data Slices. - Samuel Ackerman; Parijat Dube; Eitan Farchi; Orna Raz; Marcel Zalmanovici (DeepTest@ICSE, 2021)

Broadly Applicable Targeted Data Sample Omission Attacks. - Guy Barash; Eitan Farchi; Sarit Kraus; Onn Shehory (CoRR, 2021)

Towards API Testing Across Cloud and Edge. - Samuel Ackerman; Sanjib Choudhury; Nirmit Desai; Eitan Farchi; Dan Gisolfi; Andrew Hicks; Saritha Route; Diptikalyan Saha (CoRR, 2021)

Density-based interpretable hypercube region partitioning for mixed numeric and categorical data. - Samuel Ackerman; Eitan Farchi; Orna Raz; Marcel Zalmanovici; Maya Zohar (CoRR, 2021)

Detecting model drift using polynomial relations. - Eliran Roffe; Samuel Ackerman; Orna Raz; Eitan Farchi (CoRR, 2021)

Using sequential drift detection to test the API economy. - Samuel Ackerman; Parijat Dube; Eitan Farchi (CoRR, 2021)

Experiment Based Crafting and Analyzing of Machine Learning Solutions. - Samuel Ackerman; Eitan Farchi; Orna Raz; Onn Shehory (CoRR, 2022)

Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria. - Achiya Elyasaf; Eitan Farchi; Oded Margalit; Gera Weiss; Yeshayahu Weiss (CoRR, 2022)

High-quality Conversational Systems. - Samuel Ackerman; Ateret Anaby-Tavor; Eitan Farchi; Esther Goldbraich; George Kour; Ella Rabinovich; Orna Raz; Saritha Route; Marcel Zalmanovici; Naama Zwerdling (CoRR, 2022)

Using Fuzzy Matching of Queries to optimize Database workloads. - Sweta Singh; Vaibhav Kulkarni; Mario Briggs; Deepak Mahajan; Eitan Farchi (CoRR, 2022)

Random Test Generation of Application Programming Interfaces. - Eitan Farchi; Krithika Prakash; Vitali Sokhin (CoRR, 2022)

Measuring the Measuring Tools: An Automatic Evaluation of Semantic Metrics for Text Corpora. - George Kour; Samuel Ackerman; Orna Raz; Eitan Farchi; Boaz Carmeli; Ateret Anaby-Tavor (CoRR, 2022)

Convex Bounds on the Softmax Function with Applications to Robustness Verification. - Dennis Wei; Haoze Wu 001; Min Wu; Pin-Yu Chen; Clark W. Barrett; Eitan Farchi (AISTATS, 2023)

Quality Engineering for Agile and DevOps on the Cloud and Edge. - Eitan Farchi; Saritha Route (CoRR, 2023)

Automatic Generation of Attention Rules For Containment of Machine Learning Model Errors. - Samuel Ackerman; Axel Bendavid; Eitan Farchi; Orna Raz (CoRR, 2023)

Characterizing how 'distributional' NLP corpora distance metrics are. - Samuel Ackerman; George Kour; Eitan Farchi (CoRR, 2023)

Data Drift Monitoring for Log Anomaly Detection Pipelines. - Dipak Wani; Samuel Ackerman; Eitan Farchi; Xiaotong Liu; Hau-wen Chang; Sarasi Lalithsena (CoRR, 2023)

Predicting Question-Answering Performance of Large Language Models through Semantic Consistency. - Ella Rabinovich; Samuel Ackerman; Orna Raz; Eitan Farchi; Ateret Anaby-Tavor (CoRR, 2023)

Unveiling Safety Vulnerabilities of Large Language Models. - George Kour; Marcel Zalmanovici; Naama Zwerdling; Esther Goldbraich; Ora Nova Fandina; Ateret Anaby-Tavor; Orna Raz; Eitan Farchi (CoRR, 2023)

Deploying automated ticket router across the enterprise. - Samuel Ackerman; Lincoln Alexander; Margaret Bennett; Donglin Chen; Eitan Farchi; Autumn Houseknecht; Padmanabhan Santhanam (AI Mag., 2023)

Software testing in the machine learning era. - Andrea Stocco 001; Onn Shehory; Gunel Jahangirova; Vincenzo Riccio; Guy Barash; Eitan Farchi; Diptikalyan Saha (Empir. Softw. Eng., 2023)

Generalized Coverage Criteria for Combinatorial Sequence Testing. - Achiya Elyasaf; Eitan Farchi; Oded Margalit; Gera Weiss; Yeshayahu Weiss (IEEE Trans. Software Eng., 2023)

A Chaos Recommendation Tool for Reliability Testing in Large-Scale Cloud-Native Systems. - Mudit Verma; Sandeep Hans; Diptikalyan Saha; Praveen Jayachandran; Eitan Farchi; Naga Ravi Chaitanya Elluri; Tullio Sebastiani; Paige Rubendall; Yogananth Subramanian; Pradeep Surisetty; Brian Riordan (COMSNETS, 2024)

A Novel Metric for Measuring the Robustness of Large Language Models in Non-adversarial Scenarios. - Samuel Ackerman; Ella Rabinovich; Eitan Farchi; Ateret Anaby-Tavor (EMNLP (Findings), 2024)

A Novel Double T-wise Approach to Root Cause Analysis via Combinatorial Test Set Completion. - Andrew C. M. Hicks; Deborah Ann Furman; Ryan Thomas Rawlins; Michael Edward Gildein; Eitan Farchi (ICSTW, 2024)

Detectors for Safe and Reliable LLMs: Implementations, Uses, and Limitations. - Swapnaja Achintalwar; Adriana Alvarado Garcia; Ateret Anaby-Tavor; Ioana Baldini; Sara E. Berger; Bishwaranjan Bhattacharjee; Djallel Bouneffouf 001; Subhajit Chaudhury; Pin-Yu Chen; Lamogha Chiazor; Elizabeth M. Daly; Rogério Abreu de Paula; et al. (CoRR, 2024)

Using Combinatorial Optimization to Design a High quality LLM Solution. - Samuel Ackerman; Eitan Farchi; Rami Katan; Orna Raz (CoRR, 2024)

Effective Technical Reviews. - Scott Ballentine; Eitan Farchi (CoRR, 2024)

Generating Unseen Code Tests In Infinitum. - Marcel Zalmanovici; Orna Raz; Eitan Farchi; Iftach Freund (CoRR, 2024)

Can You Trust Your Metric? Automatic Concatenation-Based Tests for Metric Validity. - Ora Nova Fandina; Leshem Choshen; Eitan Farchi; George Kour; Yotam Perlitz; Orna Raz (CoRR, 2024)

Exploring Straightforward Conversational Red-Teaming. - George Kour; Naama Zwerdling; Marcel Zalmanovici; Ateret Anaby-Tavor; Ora Nova Fandina; Eitan Farchi (CoRR, 2024)

A Practical Approach to Combinatorial Test Design. - Eitan Farchi; Debbie Furman (CoRR, 2024)

Automatic Generation of Benchmarks and Reliable LLM Judgment for Code Tasks. - Eitan Farchi; Shmulik Froimovich; Rami Katan; Orna Raz (CoRR, 2024)

Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations. - Swapnaja Achintalwar; Ioana Baldini; Djallel Bouneffouf 001; Joan Byamugisha; Maria Chang 001; Pierre L. Dognin; Eitan Farchi; Ndivhuwo Makondo; Aleksandra Mojsilovic; Manish Nagireddy; Karthikeyan Natesan Ramamurthy; Inkit Padhi; et al. (IEEE Internet Comput., 2024)

Combinatorial Test Design Model Creation using Large Language Models. - Deborah Ann Furman; Eitan Farchi; Michael Edward Gildein; Andrew C. M. Hicks; Ryan Thomas Rawlins (ICSTW, 2025)

Exploring Straightforward Methods for Automatic Conversational Red-Teaming. - George Kour; Naama Zwerdling; Marcel Zalmanovici; Ateret Anaby-Tavor; Ora Nova Fandina; Eitan Farchi (NAACL (Industry Track), 2025)

Evaluating the Prompt Steerability of Large Language Models. - Erik Miehling; Michael Desmond; Karthikeyan Natesan Ramamurthy; Elizabeth M. Daly; Kush R. Varshney; Eitan Farchi; Pierre Dognin; Jesus Rios; Djallel Bouneffouf 001; Miao Liu 001; Prasanna Sattigeri (NAACL (Long Papers), 2025)

Statistical multi-metric evaluation and visualization of LLM system predictive performance. - Samuel Ackerman; Eitan Farchi; Orna Raz; Assaf Toledo (CoRR, 2025)

Black-Box Bug-Amplification for Multithreaded Software. - Yeshayahu Weiss; Gal Amram; Achiya Elyasaf; Eitan Farchi; Oded Margalit; Gera Weiss (CoRR, 2025)

Automated Validation of LLM-based Evaluators for Software Engineering Artifacts. - Ora Nova Fandina; Eitan Farchi; Shmulik Froimovich; Rami Katan; Alice Podolsky; Orna Raz; Avi Ziv (CoRR, 2025)

LaajMeter: A Framework for LaaJ Evaluation. - Gal Amram; Eitan Farchi; Shmulik Froimovich; Raviv Gal; Avi Ziv (CoRR, 2025)