Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eitan Farchi
@inproceedings{DBLP:conf/comsnets/VermaHSJFESRSSR24,
author = {Mudit Verma and
Sandeep Hans and
Diptikalyan Saha and
Praveen Jayachandran and
Eitan Farchi and
Naga Ravi Chaitanya Elluri and
Tullio Sebastiani and
Paige Rubendall and
Yogananth Subramanian and
Pradeep Surisetty and
Brian Riordan},
title = {A Chaos Recommendation Tool for Reliability Testing in Large-Scale
Cloud-Native Systems},
booktitle = {16th International Conference on COMmunication Systems {\&} NETworkS,
{COMSNETS} 2024, Bengaluru, India, January 3-7, 2024},
pages = {270--272},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/COMSNETS59351.2024.10427311},
doi = {10.1109/COMSNETS59351.2024.10427311},
timestamp = {Fri, 01 Mar 2024 14:04:41 +0100},
biburl = {https://dblp.org/rec/conf/comsnets/VermaHSJFESRSSR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-06009,
author = {Swapnaja Achintalwar and
Adriana Alvarado Garcia and
Ateret Anaby{-}Tavor and
Ioana Baldini and
Sara E. Berger and
Bishwaranjan Bhattacharjee and
Djallel Bouneffouf and
Subhajit Chaudhury and
Pin{-}Yu Chen and
Lamogha Chiazor and
Elizabeth M. Daly and
Rog{\'{e}}rio Abreu de Paula and
Pierre L. Dognin and
Eitan Farchi and
Soumya Ghosh and
Michael Hind and
Raya Horesh and
George Kour and
Ja Young Lee and
Erik Miehling and
Keerthiram Murugesan and
Manish Nagireddy and
Inkit Padhi and
David Piorkowski and
Ambrish Rawat and
Orna Raz and
Prasanna Sattigeri and
Hendrik Strobelt and
Sarathkrishna Swaminathan and
Christoph Tillmann and
Aashka Trivedi and
Kush R. Varshney and
Dennis Wei and
Shalisha Witherspoon and
Marcel Zalmanovici},
title = {Detectors for Safe and Reliable LLMs: Implementations, Uses, and Limitations},
journal = {CoRR},
volume = {abs/2403.06009},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.06009},
doi = {10.48550/ARXIV.2403.06009},
eprinttype = {arXiv},
eprint = {2403.06009},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-06009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-09704,
author = {Swapnaja Achintalwar and
Ioana Baldini and
Djallel Bouneffouf and
Joan Byamugisha and
Maria Chang and
Pierre L. Dognin and
Eitan Farchi and
Ndivhuwo Makondo and
Aleksandra Mojsilovic and
Manish Nagireddy and
Karthikeyan Natesan Ramamurthy and
Inkit Padhi and
Orna Raz and
Jesus Rios and
Prasanna Sattigeri and
Moninder Singh and
Siphiwe Thwala and
Rosario A. Uceda{-}Sosa and
Kush R. Varshney},
title = {Alignment Studio: Aligning Large Language Models to Particular Contextual
Regulations},
journal = {CoRR},
volume = {abs/2403.09704},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.09704},
doi = {10.48550/ARXIV.2403.09704},
eprinttype = {arXiv},
eprint = {2403.09704},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-09704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AckermanABCFHS23,
author = {Samuel Ackerman and
Lincoln Alexander and
Margaret Bennett and
Donglin Chen and
Eitan Farchi and
Autumn Houseknecht and
Padmanabhan Santhanam},
title = {Deploying automated ticket router across the enterprise},
journal = {{AI} Mag.},
volume = {44},
number = {1},
pages = {97--111},
year = {2023},
url = {https://doi.org/10.1002/aaai.12079},
doi = {10.1002/AAAI.12079},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/AckermanABCFHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/StoccoSJRBFS23,
author = {Andrea Stocco and
Onn Shehory and
Gunel Jahangirova and
Vincenzo Riccio and
Guy Barash and
Eitan Farchi and
Diptikalyan Saha},
title = {Software testing in the machine learning era},
journal = {Empir. Softw. Eng.},
volume = {28},
number = {3},
pages = {74},
year = {2023},
url = {https://doi.org/10.1007/s10664-023-10326-7},
doi = {10.1007/S10664-023-10326-7},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/StoccoSJRBFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ElyasafFMWW23,
author = {Achiya Elyasaf and
Eitan Farchi and
Oded Margalit and
Gera Weiss and
Yeshayahu Weiss},
title = {Generalized Coverage Criteria for Combinatorial Sequence Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {8},
pages = {4023--4034},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3279570},
doi = {10.1109/TSE.2023.3279570},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ElyasafFMWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/Wei0WCBF23,
author = {Dennis Wei and
Haoze Wu and
Min Wu and
Pin{-}Yu Chen and
Clark W. Barrett and
Eitan Farchi},
editor = {Francisco J. R. Ruiz and
Jennifer G. Dy and
Jan{-}Willem van de Meent},
title = {Convex Bounds on the Softmax Function with Applications to Robustness
Verification},
booktitle = {International Conference on Artificial Intelligence and Statistics,
25-27 April 2023, Palau de Congressos, Valencia, Spain},
series = {Proceedings of Machine Learning Research},
volume = {206},
pages = {6853--6878},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v206/wei23c.html},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aistats/Wei0WCBF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-03651,
author = {Eitan Farchi and
Saritha Route},
title = {Quality Engineering for Agile and DevOps on the Cloud and Edge},
journal = {CoRR},
volume = {abs/2302.03651},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.03651},
doi = {10.48550/ARXIV.2302.03651},
eprinttype = {arXiv},
eprint = {2302.03651},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-03651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-01713,
author = {Dennis Wei and
Haoze Wu and
Min Wu and
Pin{-}Yu Chen and
Clark W. Barrett and
Eitan Farchi},
title = {Convex Bounds on the Softmax Function with Applications to Robustness
Verification},
journal = {CoRR},
volume = {abs/2303.01713},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.01713},
doi = {10.48550/ARXIV.2303.01713},
eprinttype = {arXiv},
eprint = {2303.01713},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-01713.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-08115,
author = {Samuel Ackerman and
Axel Bendavid and
Eitan Farchi and
Orna Raz},
title = {Automatic Generation of Attention Rules For Containment of Machine
Learning Model Errors},
journal = {CoRR},
volume = {abs/2305.08115},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.08115},
doi = {10.48550/ARXIV.2305.08115},
eprinttype = {arXiv},
eprint = {2305.08115},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-08115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-14829,
author = {Samuel Ackerman and
George Kour and
Eitan Farchi},
title = {Characterizing how 'distributional' {NLP} corpora distance metrics
are},
journal = {CoRR},
volume = {abs/2310.14829},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.14829},
doi = {10.48550/ARXIV.2310.14829},
eprinttype = {arXiv},
eprint = {2310.14829},
timestamp = {Mon, 30 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-14829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-14893,
author = {Dipak Wani and
Samuel Ackerman and
Eitan Farchi and
Xiaotong Liu and
Hau{-}wen Chang and
Sarasi Lalithsena},
title = {Data Drift Monitoring for Log Anomaly Detection Pipelines},
journal = {CoRR},
volume = {abs/2310.14893},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.14893},
doi = {10.48550/ARXIV.2310.14893},
eprinttype = {arXiv},
eprint = {2310.14893},
timestamp = {Mon, 30 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-14893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-01152,
author = {Ella Rabinovich and
Samuel Ackerman and
Orna Raz and
Eitan Farchi and
Ateret Anaby{-}Tavor},
title = {Predicting Question-Answering Performance of Large Language Models
through Semantic Consistency},
journal = {CoRR},
volume = {abs/2311.01152},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.01152},
doi = {10.48550/ARXIV.2311.01152},
eprinttype = {arXiv},
eprint = {2311.01152},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-01152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-04124,
author = {George Kour and
Marcel Zalmanovici and
Naama Zwerdling and
Esther Goldbraich and
Ora Nova Fandina and
Ateret Anaby{-}Tavor and
Orna Raz and
Eitan Farchi},
title = {Unveiling Safety Vulnerabilities of Large Language Models},
journal = {CoRR},
volume = {abs/2311.04124},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.04124},
doi = {10.48550/ARXIV.2311.04124},
eprinttype = {arXiv},
eprint = {2311.04124},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-04124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-00355,
author = {Samuel Ackerman and
Eitan Farchi and
Orna Raz and
Onn Shehory},
title = {Experiment Based Crafting and Analyzing of Machine Learning Solutions},
journal = {CoRR},
volume = {abs/2201.00355},
year = {2022},
url = {https://arxiv.org/abs/2201.00355},
eprinttype = {arXiv},
eprint = {2201.00355},
timestamp = {Mon, 10 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00355.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-00522,
author = {Achiya Elyasaf and
Eitan Farchi and
Oded Margalit and
Gera Weiss and
Yeshayahu Weiss},
title = {Combinatorial Sequence Testing Using Behavioral Programming and Generalized
Coverage Criteria},
journal = {CoRR},
volume = {abs/2201.00522},
year = {2022},
url = {https://arxiv.org/abs/2201.00522},
eprinttype = {arXiv},
eprint = {2201.00522},
timestamp = {Mon, 10 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-13043,
author = {Samuel Ackerman and
Ateret Anaby{-}Tavor and
Eitan Farchi and
Esther Goldbraich and
George Kour and
Ella Rabinovich and
Orna Raz and
Saritha Route and
Marcel Zalmanovici and
Naama Zwerdling},
title = {High-quality Conversational Systems},
journal = {CoRR},
volume = {abs/2204.13043},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.13043},
doi = {10.48550/ARXIV.2204.13043},
eprinttype = {arXiv},
eprint = {2204.13043},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-06820,
author = {Sweta Singh and
Vaibhav Kulkarni and
Mario Briggs and
Deepak Mahajan and
Eitan Farchi},
title = {Using Fuzzy Matching of Queries to optimize Database workloads},
journal = {CoRR},
volume = {abs/2207.06820},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.06820},
doi = {10.48550/ARXIV.2207.06820},
eprinttype = {arXiv},
eprint = {2207.06820},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-06820.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-13143,
author = {Eitan Farchi and
Krithika Prakash and
Vitali Sokhin},
title = {Random Test Generation of Application Programming Interfaces},
journal = {CoRR},
volume = {abs/2207.13143},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.13143},
doi = {10.48550/ARXIV.2207.13143},
eprinttype = {arXiv},
eprint = {2207.13143},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-13143.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-16259,
author = {George Kour and
Samuel Ackerman and
Orna Raz and
Eitan Farchi and
Boaz Carmeli and
Ateret Anaby{-}Tavor},
title = {Measuring the Measuring Tools: An Automatic Evaluation of Semantic
Metrics for Text Corpora},
journal = {CoRR},
volume = {abs/2211.16259},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16259},
doi = {10.48550/ARXIV.2211.16259},
eprinttype = {arXiv},
eprint = {2211.16259},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16259.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/FarchiNN21,
author = {Eitan Farchi and
Ramasuri Narayanam and
Lokesh Nagalapatti},
title = {Ranking Data Slices for {ML} Model Validation: {A} Shapley Value Approach},
booktitle = {37th {IEEE} International Conference on Data Engineering, {ICDE} 2021,
Chania, Greece, April 19-22, 2021},
pages = {1937--1942},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICDE51399.2021.00180},
doi = {10.1109/ICDE51399.2021.00180},
timestamp = {Fri, 25 Jun 2021 11:30:58 +0200},
biburl = {https://dblp.org/rec/conf/icde/FarchiNN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-deeptest/AckermanDFRZ21,
author = {Samuel Ackerman and
Parijat Dube and
Eitan Farchi and
Orna Raz and
Marcel Zalmanovici},
title = {Machine Learning Model Drift Detection Via Weak Data Slices},
booktitle = {3rd {IEEE/ACM} International Workshop on Deep Learning for Testing
and Testing for Deep Learning, DeepTest@ICSE 2021, Madrid, Spain,
June 1, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DeepTest52559.2021.00007},
doi = {10.1109/DEEPTEST52559.2021.00007},
timestamp = {Wed, 11 Aug 2021 18:07:29 +0200},
biburl = {https://dblp.org/rec/conf/icse-deeptest/AckermanDFRZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-01560,
author = {Guy Barash and
Eitan Farchi and
Sarit Kraus and
Onn Shehory},
title = {Broadly Applicable Targeted Data Sample Omission Attacks},
journal = {CoRR},
volume = {abs/2105.01560},
year = {2021},
url = {https://arxiv.org/abs/2105.01560},
eprinttype = {arXiv},
eprint = {2105.01560},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-01560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-05319,
author = {Samuel Ackerman and
Parijat Dube and
Eitan Farchi and
Orna Raz and
Marcel Zalmanovici},
title = {Machine Learning Model Drift Detection Via Weak Data Slices},
journal = {CoRR},
volume = {abs/2108.05319},
year = {2021},
url = {https://arxiv.org/abs/2108.05319},
eprinttype = {arXiv},
eprint = {2108.05319},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-05319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-02540,
author = {Samuel Ackerman and
Sanjib Choudhury and
Nirmit Desai and
Eitan Farchi and
Dan Gisolfi and
Andrew Hicks and
Saritha Route and
Diptikalyan Saha},
title = {Towards {API} Testing Across Cloud and Edge},
journal = {CoRR},
volume = {abs/2109.02540},
year = {2021},
url = {https://arxiv.org/abs/2109.02540},
eprinttype = {arXiv},
eprint = {2109.02540},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-05430,
author = {Samuel Ackerman and
Eitan Farchi and
Orna Raz and
Marcel Zalmanovici and
Maya Zohar},
title = {Density-based interpretable hypercube region partitioning for mixed
numeric and categorical data},
journal = {CoRR},
volume = {abs/2110.05430},
year = {2021},
url = {https://arxiv.org/abs/2110.05430},
eprinttype = {arXiv},
eprint = {2110.05430},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-05430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-12506,
author = {Eliran Roffe and
Samuel Ackerman and
Orna Raz and
Eitan Farchi},
title = {Detecting model drift using polynomial relations},
journal = {CoRR},
volume = {abs/2110.12506},
year = {2021},
url = {https://arxiv.org/abs/2110.12506},
eprinttype = {arXiv},
eprint = {2110.12506},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12506.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-05136,
author = {Samuel Ackerman and
Parijat Dube and
Eitan Farchi},
title = {Using sequential drift detection to test the {API} economy},
journal = {CoRR},
volume = {abs/2111.05136},
year = {2021},
url = {https://arxiv.org/abs/2111.05136},
eprinttype = {arXiv},
eprint = {2111.05136},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-05136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BangBBCCCCCDDEF20,
author = {Grace Bang and
Guy Barash and
Ryan Beal and
Jacques Cal{\`{\i}} and
Mauricio Castillo{-}Effen and
Xin Cynthia Chen and
Niyati Chhaya and
Rachel Cummings and
Rohan Dhoopar and
Sebastijan Dumancic and
Hu{\'{a}}scar Espinoza and
Eitan Farchi and
Ferdinando Fioretto and
Raquel Fuentetaja and
Christopher William Geib and
Odd Erik Gundersen and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Xiaowei Huang and
Kokil Jaidka and
Sarah Keren and
Seokhwan Kim and
Michel Galley and
Xiaomo Liu and
Tyler Lu and
Zhiqiang Ma and
Richard Mallah and
John A. McDermid and
Martin Michalowski and
Reuth Mirsky and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
Deepak Ramachandran and
Javier Segovia Aguas and
Onn Shehory and
Arash Shaban{-}Nejad and
Vered Shwartz and
Siddharth Srivastava and
Kartik Talamadupula and
Jian Tang and
Pascal Van Hentenryck and
Dell Zhang and
Jian Zhang},
title = {The Association for the Advancement of Artificial Intelligence 2020
Workshop Program},
journal = {{AI} Mag.},
volume = {41},
number = {4},
pages = {100--114},
year = {2020},
url = {https://doi.org/10.1609/aimag.v41i4.7398},
doi = {10.1609/AIMAG.V41I4.7398},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/BangBBCCCCCDDEF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-16109,
author = {Samuel Ackerman and
Parijat Dube and
Eitan Farchi},
title = {Sequential Drift Detection in Deep Learning Classifiers},
journal = {CoRR},
volume = {abs/2007.16109},
year = {2020},
url = {https://arxiv.org/abs/2007.16109},
eprinttype = {arXiv},
eprint = {2007.16109},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-16109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-09258,
author = {Samuel Ackerman and
Eitan Farchi and
Orna Raz and
Marcel Zalmanovici and
Parijat Dube},
title = {Detection of data drift and outliers affecting machine learning model
performance over time},
journal = {CoRR},
volume = {abs/2012.09258},
year = {2020},
url = {https://arxiv.org/abs/2012.09258},
eprinttype = {arXiv},
eprint = {2012.09258},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-09258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BarashCCCEFGGhH19,
author = {Guy Barash and
Mauricio Castillo{-}Effen and
Niyati Chhaya and
Peter Clark and
Hu{\'{a}}scar Espinoza and
Eitan Farchi and
Christopher W. Geib and
Odd Erik Gundersen and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Chiori Hori and
Xiaowei Huang and
Kokil Jaidka and
Pavan Kapanipathi and
Sarah Keren and
Seokhwan Kim and
Marc Lanctot and
Danny Lange and
Julian J. McAuley and
David R. Martinez and
Marwan Mattar and
Mausam and
Martin Michalowski and
Reuth Mirsky and
Roozbeh Mottaghi and
Joseph C. Osborn and
Julien P{\'{e}}rolat and
Martin Schmid and
Arash Shaban{-}Nejad and
Onn Shehory and
Biplav Srivastava and
William W. Streilein and
Kartik Talamadupula and
Julian Togelius and
Koichiro Yoshino and
Quanshi Zhang and
Imed Zitouni},
title = {Reports of the Workshops Held at the 2019 {AAAI} Conference on Artificial
Intelligence},
journal = {{AI} Mag.},
volume = {40},
number = {3},
pages = {67--78},
year = {2019},
url = {https://doi.org/10.1609/aimag.v40i3.4981},
doi = {10.1609/AIMAG.V40I3.4981},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/BarashCCCEFGGhH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BarashFJRTZ19,
author = {Guy Barash and
Eitan Farchi and
Ilan Jayaraman and
Orna Raz and
Rachel Tzoref{-}Brill and
Marcel Zalmanovici},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Bridging the gap between {ML} solutions and their business requirements
using feature interactions},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {1048--1058},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3340442},
doi = {10.1145/3338906.3340442},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BarashFJRTZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-00737,
author = {Eitan Farchi and
Onn Shehory and
Guy Barash},
title = {Defending via strategic {ML} selection},
journal = {CoRR},
volume = {abs/1904.00737},
year = {2019},
url = {http://arxiv.org/abs/1904.00737},
eprinttype = {arXiv},
eprint = {1904.00737},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00737.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-12582,
author = {P. Santhanam and
Eitan Farchi and
Victor Pankratius},
title = {Engineering Reliable Deep Learning Systems},
journal = {CoRR},
volume = {abs/1910.12582},
year = {2019},
url = {http://arxiv.org/abs/1910.12582},
eprinttype = {arXiv},
eprint = {1910.12582},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-12582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/0001BBCFGGGJKKK18,
author = {Bruno Bouchard and
Kevin Bouchard and
Noam Brown and
Niyati Chhaya and
Eitan Farchi and
S{\'{e}}bastien Gaboury and
Christopher W. Geib and
Amelie Gyrard and
Kokil Jaidka and
Sarah Keren and
Roni Khardon and
Parisa Kordjamshidi and
David R. Martinez and
Nicholas Mattei and
Martin Michalowski and
Reuth Mirsky and
Joseph C. Osborn and
Cem Sahin and
Onn Shehory and
Arash Shaban{-}Nejad and
Amit P. Sheth and
Ilan Shimshoni and
Howard E. Shrobe and
Arunesh Sinha and
Atanu R. Sinha and
Biplav Srivastava and
William W. Streilein and
Georgios Theocharous and
Kristen Brent Venable and
Neal Wagner and
Anna Zamansky},
title = {Reports of the Workshops of the 32nd {AAAI} Conference on Artificial
Intelligence},
journal = {{AI} Mag.},
volume = {39},
number = {4},
pages = {45--56},
year = {2018},
url = {https://doi.org/10.1609/aimag.v39i4.2823},
doi = {10.1609/AIMAG.V39I4.2823},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/0001BBCFGGGJKKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BarashF17,
author = {Guy Barash and
Eitan Farchi},
title = {A randomized algorithm for constructing cross-feature tests from single
feature tests},
booktitle = {2017 {IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2017, Santa Cruz, CA, USA, October 5-6, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/HLDVT.2017.8167456},
doi = {10.1109/HLDVT.2017.8167456},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/BarashF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZamanskySKF17,
author = {Anna Zamansky and
Amir Shwartz and
Seri Khoury and
Eitan Farchi},
title = {A Composition-Based Method for Combinatorial Test Design},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
13-17, 2017},
pages = {249--252},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.45},
doi = {10.1109/ICSTW.2017.45},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/ZamanskySKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SpichkovaZF16,
author = {Maria Spichkova and
Anna Zamansky and
Eitan Farchi},
editor = {John Krogstie and
Haralambos Mouratidis and
Jianwen Su},
title = {A Visual Logical Language for System Modelling in Combinatorial Test
Design},
booktitle = {Advanced Information Systems Engineering Workshops - CAiSE 2016 International
Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {249},
pages = {116--121},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39564-7\_12},
doi = {10.1007/978-3-319-39564-7\_12},
timestamp = {Wed, 24 May 2017 08:29:59 +0200},
biburl = {https://dblp.org/rec/conf/caise/SpichkovaZF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SpichkovaZF16,
author = {Maria Spichkova and
Anna Zamansky and
Eitan Farchi},
title = {Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/1601.06222},
year = {2016},
url = {http://arxiv.org/abs/1601.06222},
eprinttype = {arXiv},
eprint = {1601.06222},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SpichkovaZF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FarchiHL15,
author = {Eitan Farchi and
Robert M. Hierons and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Special issue on testing, analysis and debugging of concurrent programs},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {165--166},
year = {2015},
url = {https://doi.org/10.1002/stvr.1577},
doi = {10.1002/STVR.1577},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/FarchiHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/SpichkovaZF15,
author = {Maria Spichkova and
Anna Zamansky and
Eitan Farchi},
title = {Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical
Systems},
booktitle = {21st {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2015, Melbourne, Australia, December 14-17, 2015},
pages = {847--851},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICPADS.2015.115},
doi = {10.1109/ICPADS.2015.115},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/SpichkovaZF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ZamanskyF15,
author = {Anna Zamansky and
Eitan Farchi},
editor = {Domenico Bianculli and
Radu Calinescu and
Bernhard Rumpe},
title = {Helping the Tester Get It Right: Towards Supporting Agile Combinatorial
Test Design},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9509},
pages = {35--42},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-49224-6\_4},
doi = {10.1007/978-3-662-49224-6\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ZamanskyF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ZamanskyF15a,
author = {Anna Zamansky and
Eitan Farchi},
editor = {Domenico Bianculli and
Radu Calinescu and
Bernhard Rumpe},
title = {Exploring the Role of Logic and Formal Methods in Information Systems
Education},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9509},
pages = {68--74},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-49224-6\_7},
doi = {10.1007/978-3-662-49224-6\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ZamanskyF15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZamanskyF15,
author = {Anna Zamansky and
Eitan Farchi},
title = {Teaching Logic to Information Systems Students: Challenges and Opportunities},
journal = {CoRR},
volume = {abs/1507.03687},
year = {2015},
url = {http://arxiv.org/abs/1507.03687},
eprinttype = {arXiv},
eprint = {1507.03687},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZamanskyF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FarchiSTZ14,
author = {Eitan Farchi and
Itai Segall and
Rachel Tzoref{-}Brill and
Aviad Zlotnick},
title = {Combinatorial Testing with Order Requirements},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April
4, 2014, Cleveland, Ohio, {USA}},
pages = {118--127},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICSTW.2014.13},
doi = {10.1109/ICSTW.2014.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FarchiSTZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kicss/HadarLBF14,
author = {Irit Hadar and
Meira Levy and
Yochai Ben{-}Chaim and
Eitan Farchi},
editor = {Susumu Kunifuji and
George Angelos Papadopoulos and
Andrzej M. J. Skulimowski and
Janusz Kacprzyk},
title = {Using Wiki as a Collaboration Platform for Software Requirements and
Design},
booktitle = {Knowledge, Information and Creativity Support Systems - Selected Papers
from KICSS'2014 - 9th International Conference, held in Limassol,
Cyprus, on November 6-8, 2014},
series = {Advances in Intelligent Systems and Computing},
volume = {416},
pages = {529--536},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-27478-2\_40},
doi = {10.1007/978-3-319-27478-2\_40},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kicss/HadarLBF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FarchiST13,
author = {Eitan Farchi and
Itai Segall and
Rachel Tzoref{-}Brill},
title = {Using Projections to Debug Large Combinatorial Models},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {311--320},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.42},
doi = {10.1109/ICSTW.2013.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FarchiST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/musepat/2013,
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {Multicore Software Engineering, Performance, and Tools - International
Conference, {MUSEPAT} 2013, St. Petersburg, Russia, August 19-20,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8063},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39955-8},
doi = {10.1007/978-3-642-39955-8},
isbn = {978-3-642-39954-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/musepat/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FarchiSLS12,
author = {Eitan Farchi and
Itai Segall and
Jo{\~{a}}o Louren{\c{c}}o and
Diogo Sousa},
editor = {Jeremy S. Bradbury and
Simone do R{\'{o}}cio Senger de Souza},
title = {Using program closures to make an application programming interface
{(API)} implementation thread safe},
booktitle = {Proceedings of the 10th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2012, Minneapolis, MN,
USA, July 16, 2012},
pages = {18--24},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338967.2336810},
doi = {10.1145/2338967.2336810},
timestamp = {Tue, 16 Jan 2024 15:26:47 +0100},
biburl = {https://dblp.org/rec/conf/issta/FarchiSLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BradburySFJK12,
author = {Jeremy S. Bradbury and
Itai Segall and
Eitan Farchi and
Kevin Jalbert and
David Kelk},
editor = {Jeremy S. Bradbury and
Simone do R{\'{o}}cio Senger de Souza},
title = {Using combinatorial benchmark construction to improve the assessment
of concurrency bug detection tools},
booktitle = {Proceedings of the 10th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2012, Minneapolis, MN,
USA, July 16, 2012},
pages = {25--35},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338967.2336812},
doi = {10.1145/2338967.2336812},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/BradburySFJK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/advse/YiftachelHPFG11,
author = {Peleg Yiftachel and
Irit Hadar and
Dan Peled and
Eitan Farchi and
Dan Goldwasser},
title = {The Study of Resource Allocation among Software Development Phases:
An Economics-Based Approach},
journal = {Adv. Softw. Eng.},
volume = {2011},
pages = {579292:1--579292:21},
year = {2011},
url = {https://doi.org/10.1155/2011/579292},
doi = {10.1155/2011/579292},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/advse/YiftachelHPFG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PessanhaDLFS11,
author = {Vasco Pessanha and
Ricardo J. Dias and
Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi and
Diogo Sousa},
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {Practical verification of high-level dataraces in transactional memory
programs},
booktitle = {Proceedings of the 9th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2011, Toronto, ON, Canada,
July 17-21, 2011},
pages = {26--34},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002962.2002968},
doi = {10.1145/2002962.2002968},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/PessanhaDLFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SegallTF11,
author = {Itai Segall and
Rachel Tzoref{-}Brill and
Eitan Farchi},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Using binary decision diagrams for combinatorial test design},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {254--264},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001451},
doi = {10.1145/2001420.2001451},
timestamp = {Tue, 29 Dec 2020 18:31:45 +0100},
biburl = {https://dblp.org/rec/conf/issta/SegallTF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2011p,
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {Proceedings of the 9th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2011, Toronto, ON, Canada,
July 17-21, 2011},
publisher = {{ACM}},
year = {2011},
isbn = {978-1-4503-0809-0},
timestamp = {Mon, 22 Aug 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2011p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/AgarwalBFHNSUW10,
author = {Rahul Agarwal and
Saddek Bensalem and
Eitan Farchi and
Klaus Havelund and
Yarden Nir{-}Buchbinder and
Scott D. Stoller and
Shmuel Ur and
Liqiang Wang},
title = {Detection of deadlock potentials in multithreaded programs},
journal = {{IBM} J. Res. Dev.},
volume = {54},
number = {5},
pages = {3},
year = {2010},
url = {https://doi.org/10.1147/JRD.2010.2060276},
doi = {10.1147/JRD.2010.2060276},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/AgarwalBFHNSUW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TeixeiraLFDS10,
author = {Bruno C. Teixeira and
Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi and
Ricardo J. Dias and
Diogo Sousa},
editor = {Jo{\~{a}}o Louren{\c{c}}o},
title = {Detection of Transactional Memory anomalies using static analysis},
booktitle = {Proceedings of the 8th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2010, Trento, Italy, July
12-16, 2010},
pages = {26--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866210.1866213},
doi = {10.1145/1866210.1866213},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/TeixeiraLFDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/QiNFDLG10,
author = {Yao Qi and
Yarden Nir{-}Buchbinder and
Eitan Farchi and
Raja Das and
Zhi Da Luo and
Zhi Gan},
editor = {Jo{\~{a}}o Louren{\c{c}}o},
title = {Unit testing for concurrent business code},
booktitle = {Proceedings of the 8th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2010, Trento, Italy, July
12-16, 2010},
pages = {37--47},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866210.1866214},
doi = {10.1145/1866210.1866214},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/QiNFDLG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcis/Ben-ChaimLHFB10,
author = {Yochai Ben{-}Chaim and
Meira Levy and
Irit Hadar and
Eitan Farchi and
Alla Bronshtein},
title = {Engaging Stakeholders in Globally Distributed Software Development
Processes},
booktitle = {The 5th Mediterranean Conference on Information Systems, {MCIS} 2010,
Tel-Aviv-Yaffo Academic College, Tel Aviv, Israel, September 12-14,
2010},
pages = {14},
publisher = {AISeL},
year = {2010},
url = {http://aisel.aisnet.org/mcis2010/14},
timestamp = {Thu, 01 Mar 2012 13:00:48 +0100},
biburl = {https://dblp.org/rec/conf/mcis/Ben-ChaimLHFB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ChocklerFGN09,
author = {Hana Chockler and
Eitan Farchi and
Benny Godlin and
Sergey Novikov},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Cross-Entropy-Based Replay of Concurrent Programs},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {201--215},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_14},
doi = {10.1007/978-3-642-00593-0\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/ChocklerFGN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AdlerFKPRSUZ09,
author = {Yoram Adler and
Eitan Farchi and
Moshe Klausner and
Dan Pelleg and
Orna Raz and
Moran Shochat and
Shmuel Ur and
Aviad Zlotnick},
title = {Automated substring hole analysis},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {203--206},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5070982},
doi = {10.1109/ICSE-COMPANION.2009.5070982},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AdlerFKPRSUZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AdlerFKPRSUZ09,
author = {Yoram Adler and
Eitan Farchi and
Moshe Klausner and
Dan Pelleg and
Orna Raz and
Moran Shochat and
Shmuel Ur and
Aviad Zlotnick},
editor = {Gregg Rothermel and
Laura K. Dillon},
title = {Advanced code coverage analysis using substring holes},
booktitle = {Proceedings of the Eighteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2009, Chicago, IL, USA, July 19-23,
2009},
pages = {37--46},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1572272.1572278},
doi = {10.1145/1572272.1572278},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/AdlerFKPRSUZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TraininNTZUF09,
author = {Ehud Trainin and
Yarden Nir{-}Buchbinder and
Rachel Tzoref{-}Brill and
Aviad Zlotnick and
Shmuel Ur and
Eitan Farchi},
editor = {Ganesh Gopalakrishnan and
Eitan Farchi and
Eric Mercer},
title = {Forcing small models of conditions on program interleaving for detection
of concurrent bugs},
booktitle = {Proceedings of the 7th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2009, Chicago, Illinois,
USA, July 19-20, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639622.1639629},
doi = {10.1145/1639622.1639629},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/TraininNTZUF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2009p,
editor = {Ganesh Gopalakrishnan and
Eitan Farchi and
Eric Mercer},
title = {Proceedings of the 7th Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging, {PADTAD} 2009, Chicago, Illinois,
USA, July 19-20, 2009},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-655-7},
timestamp = {Tue, 19 Jan 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2009p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ShochatRF08,
author = {Moran Shochat and
Orna Raz and
Eitan Farchi},
editor = {Hana Chockler and
Alan J. Hu},
title = {SeeCode - {A} Code Review Plug-in for Eclipse},
booktitle = {Hardware and Software: Verification and Testing, 4th International
Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October
27-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5394},
pages = {205--209},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01702-5\_21},
doi = {10.1007/978-3-642-01702-5\_21},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ShochatRF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FarchiU08,
author = {Eitan Farchi and
Shmuel Ur},
title = {Selective Homeworkless Reviews},
booktitle = {First International Conference on Software Testing, Verification,
and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
pages = {404--413},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICST.2008.17},
doi = {10.1109/ICST.2008.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FarchiU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Farchi08,
author = {Eitan Farchi},
editor = {Shmuel Ur},
title = {Pitfalls in teaching development and testing of concurrent programs
and how to overcome them},
booktitle = {Proceedings of the 6th 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} 2008), {PADTAD} 2008, Seattle, Washington, USA, July 20-21,
2008},
pages = {11},
publisher = {{ACM}},
year = {2008},
url = {https://dl.acm.org/citation.cfm?id=1390852},
timestamp = {Wed, 28 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Farchi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/UrSF08,
author = {Shmuel Ur and
Scott D. Stoller and
Eitan Farchi},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {6th workshop on parallel and distributed systems: testing and debugging
{(PADTAD} '08)},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {309--310},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390669},
doi = {10.1145/1390630.1390669},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/UrSF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/HayardenyFF07,
author = {Amiram Hayardeny and
Shachar Fienblit and
Eitan Farchi},
title = {Distributed desk checking},
journal = {Concurr. Comput. Pract. Exp.},
volume = {19},
number = {3},
pages = {295--309},
year = {2007},
url = {https://doi.org/10.1002/cpe.1067},
doi = {10.1002/CPE.1067},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/HayardenyFF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BibersteinFU07,
author = {Marina Biberstein and
Eitan Farchi and
Shmuel Ur},
title = {Choosing among alternative pasts},
journal = {Concurr. Comput. Pract. Exp.},
volume = {19},
number = {3},
pages = {341--353},
year = {2007},
url = {https://doi.org/10.1002/cpe.1062},
doi = {10.1002/CPE.1062},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/BibersteinFU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChocklerFGN07,
author = {Hana Chockler and
Eitan Farchi and
Benny Godlin and
Sergey Novikov},
title = {Cross-Entropy Based Testing},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {101--108},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.19},
doi = {10.1109/FAMCAD.2007.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChocklerFGN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/RazKPHFFFGN07,
author = {Orna Raz and
Moshe Klausner and
Nitzan Peleg and
Gadi Haber and
Eitan Farchi and
Shachar Fienblit and
Yakov S. Filiarsky and
Shay Gammer and
Sergey Novikov},
editor = {Karen Yorav},
title = {The Advantages of Post-Link Code Coverage},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {235--251},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_19},
doi = {10.1007/978-3-540-77966-7\_19},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/RazKPHFFFGN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2007p,
editor = {Shmuel Ur and
Eitan Farchi},
title = {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},
publisher = {{ACM}},
year = {2007},
isbn = {978-1-59593-748-3},
timestamp = {Thu, 14 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2007p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Ben-AsherFEU06,
author = {Yosi Ben{-}Asher and
Eitan Farchi and
Yaniv Eytani and
Shmuel Ur},
title = {Noise Makers Need to Know Where to be Silent - Producing Schedules
That Find Bugs},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {458--465},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.18},
doi = {10.1109/ISOLA.2006.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Ben-AsherFEU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChocklerFGGNR06,
author = {Hana Chockler and
Eitan Farchi and
Ziv Glazberg and
Benny Godlin and
Yarden Nir{-}Buchbinder and
Ishai Rabinovitz},
editor = {Shmuel Ur and
Eitan Farchi},
title = {Formal verification of concurrent software: two case studies},
booktitle = {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},
pages = {11--22},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1147403.1147406},
doi = {10.1145/1147403.1147406},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ChocklerFGGNR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Ben-AsherEFU06,
author = {Yosi Ben{-}Asher and
Yaniv Eytani and
Eitan Farchi and
Shmuel Ur},
editor = {Shmuel Ur and
Eitan Farchi},
title = {Producing scheduling that causes concurrent programs to fail},
booktitle = {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},
pages = {37--40},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1147403.1147410},
doi = {10.1145/1147403.1147410},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Ben-AsherEFU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2006p,
editor = {Shmuel Ur and
Eitan Farchi},
title = {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},
publisher = {{ACM}},
year = {2006},
isbn = {1-59593-414-6},
timestamp = {Thu, 14 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2006p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/Ben-AsherF05,
author = {Yosi Ben{-}Asher and
Eitan Farchi},
title = {Compact Representations of Search in Complex Domains},
journal = {{IGTR}},
volume = {7},
number = {1},
pages = {73--90},
year = {2005},
url = {https://doi.org/10.1142/S0219198905000399},
doi = {10.1142/S0219198905000399},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igtr/Ben-AsherF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/Ben-AsherF05a,
author = {Yosi Ben{-}Asher and
Eitan Farchi},
title = {Compact Representations of Search in Complex Domains},
journal = {{IGTR}},
volume = {7},
number = {2},
pages = {171--188},
year = {2005},
url = {https://doi.org/10.1142/S0219198905000478},
doi = {10.1142/S0219198905000478},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igtr/Ben-AsherF05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/FarchiKKKV05,
author = {Eitan Farchi and
Gabriel Kliot and
Yoel Krasny and
Alex Krits and
Roman Vitenberg},
title = {Effective Testing and Debugging Techniques for a Group Communication
System},
booktitle = {2005 International Conference on Dependable Systems and Networks {(DSN}
2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings},
pages = {80--85},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSN.2005.41},
doi = {10.1109/DSN.2005.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/FarchiKKKV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/FarchiH05,
author = {Eitan Farchi and
Bradley R. Harrington},
editor = {Shmuel Ur and
Eyal Bin and
Yaron Wolfsthal},
title = {Assisting the Code Review Process Using Simple Pattern Recognition},
booktitle = {Hardware and Software Verification and Testing, First International
Haifa Verification Conference, Haifa, Israel, November 13-16, 2005,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3875},
pages = {103--115},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11678779\_8},
doi = {10.1007/11678779\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/FarchiH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Ben-AsherBFG05,
author = {Yosi Ben{-}Asher and
Igor Breger and
Eitan Farchi and
Ilia Gordon},
editor = {Shmuel Ur and
Eyal Bin and
Yaron Wolfsthal},
title = {Optimal Algorithmic Debugging and Reduced Coverage Using Search in
Structured Domains},
booktitle = {Hardware and Software Verification and Testing, First International
Haifa Verification Conference, Haifa, Israel, November 13-16, 2005,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3875},
pages = {149--157},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11678779\_11},
doi = {10.1007/11678779\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Ben-AsherBFG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BronFMNU05,
author = {Arkady Bron and
Eitan Farchi and
Yonit Magid and
Yarden Nir and
Shmuel Ur},
editor = {Keshav Pingali and
Katherine A. Yelick and
Andrew S. Grimshaw},
title = {Applications of synchronization coverage},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, {PPOPP} 2005, June 15-17, 2005, Chicago,
IL, {USA}},
pages = {206--212},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065944.1065972},
doi = {10.1145/1065944.1065972},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/BronFMNU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BibersteinFU04,
author = {Marina Biberstein and
Eitan Farchi and
Shmuel Ur},
title = {Fidgeting to the Point of No Return},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303340},
doi = {10.1109/IPDPS.2004.1303340},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/BibersteinFU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/FarchiKN04,
author = {Eitan Farchi and
Yoel Krasny and
Yarden Nir},
title = {Automatic Simulation of Network Problems in UDP-Based Java Programs},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303342},
doi = {10.1109/IPDPS.2004.1303342},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/FarchiKN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HayardenyFF04,
author = {Amiram Hayardeny and
Shachar Fienblit and
Eitan Farchi},
title = {Concurrent and Distributed Desk Checking},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303337},
doi = {10.1109/IPDPS.2004.1303337},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/HayardenyFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/EdelsteinFGNRU03,
author = {Orit Edelstein and
Eitan Farchi and
Evgeny Goldin and
Yarden Nir and
Gil Ratsaby and
Shmuel Ur},
title = {Framework for testing multi-threaded Java programs},
journal = {Concurr. Comput. Pract. Exp.},
volume = {15},
number = {3-5},
pages = {485--499},
year = {2003},
url = {https://doi.org/10.1002/cpe.654},
doi = {10.1002/CPE.654},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/EdelsteinFGNRU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/FarchiNU03,
author = {Eitan Farchi and
Yarden Nir and
Shmuel Ur},
title = {Concurrent Bug Patterns and How to Test Them},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {286},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213511},
doi = {10.1109/IPDPS.2003.1213511},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/FarchiNU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Ben-AsherFE03,
author = {Yosi Ben{-}Asher and
Eitan Farchi and
Yaniv Eytani},
title = {Heuristics for Finding Concurrent Bug},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {288},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213514},
doi = {10.1109/IPDPS.2003.1213514},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Ben-AsherFE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BibersteinFU03,
author = {Marina Biberstein and
Eitan Farchi and
Shmuel Ur},
title = {Choosing among Alternative Pasts},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {289},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213516},
doi = {10.1109/IPDPS.2003.1213516},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/BibersteinFU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/FarchiHP02,
author = {Eitan Farchi and
Alan Hartman and
Shlomit S. Pinter},
title = {Using a model-based test generator to test for standard conformance},
journal = {{IBM} Syst. J.},
volume = {41},
number = {1},
pages = {89--110},
year = {2002},
url = {https://doi.org/10.1147/sj.411.0089},
doi = {10.1147/SJ.411.0089},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmsj/FarchiHP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/EdelsteinFNRU02,
author = {Orit Edelstein and
Eitan Farchi and
Yarden Nir and
Gil Ratsaby and
Shmuel Ur},
title = {Multithreaded Java program test generation},
journal = {{IBM} Syst. J.},
volume = {41},
number = {1},
pages = {111--125},
year = {2002},
url = {https://doi.org/10.1147/sj.411.0111},
doi = {10.1147/SJ.411.0111},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmsj/EdelsteinFNRU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/CarmelFPS02,
author = {David Carmel and
Eitan Farchi and
Yael Petruschka and
Aya Soffer},
editor = {Kalervo J{\"{a}}rvelin and
Micheline Beaulieu and
Ricardo A. Baeza{-}Yates and
Sung{-}Hyon Myaeng},
title = {Automatic query refinement using lexical affinities with maximal information
gain},
booktitle = {{SIGIR} 2002: Proceedings of the 25th Annual International {ACM} {SIGIR}
Conference on Research and Development in Information Retrieval, August
11-15, 2002, Tampere, Finland},
pages = {283--290},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/564376.564427},
doi = {10.1145/564376.564427},
timestamp = {Wed, 07 Nov 2018 14:52:44 +0100},
biburl = {https://dblp.org/rec/conf/sigir/CarmelFPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/EdelsteinFNRU01,
author = {Orit Edelstein and
Eitan Farchi and
Yarden Nir and
Gil Ratsaby and
Shmuel Ur},
editor = {Denis Caromel and
John Reynders and
Michael Philippsen},
title = {Multithreaded Java program test generation},
booktitle = {Proceedings of the {ACM} 2001 Java Grande Conference, Stanford University,
California, USA, June 2-4, 2001},
pages = {181},
publisher = {{ACM}},
year = {2001},
url = {http://portal.acm.org/citation.cfm?id=376656.376848},
timestamp = {Tue, 06 Nov 2018 11:07:44 +0100},
biburl = {https://dblp.org/rec/conf/java/EdelsteinFNRU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/SofferCCFFHM01,
author = {Aya Soffer and
David Carmel and
Doron Cohen and
Ronald Fagin and
Eitan Farchi and
Michael Herscovici and
Yo{\"{e}}lle S. Maarek},
editor = {W. Bruce Croft and
David J. Harper and
Donald H. Kraft and
Justin Zobel},
title = {Static Index Pruning for Information Retrieval Systems},
booktitle = {{SIGIR} 2001: Proceedings of the 24th Annual International {ACM} {SIGIR}
Conference on Research and Development in Information Retrieval, September
9-13, 2001, New Orleans, Louisiana, {USA}},
pages = {43--50},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/383952.383958},
doi = {10.1145/383952.383958},
timestamp = {Tue, 06 Nov 2018 11:07:24 +0100},
biburl = {https://dblp.org/rec/conf/sigir/SofferCCFFHM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Ben-AsherFN99,
author = {Yosi Ben{-}Asher and
Eitan Farchi and
Ilan Newman},
title = {Optimal Search in Trees},
journal = {{SIAM} J. Comput.},
volume = {28},
number = {6},
pages = {2090--2102},
year = {1999},
url = {https://doi.org/10.1137/S009753979731858X},
doi = {10.1137/S009753979731858X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Ben-AsherFN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/Ben-AsherFN97,
author = {Yosi Ben{-}Asher and
Eitan Farchi and
Ilan Newman},
editor = {Michael E. Saks},
title = {Optimal Search in Trees: Extended Abstract + Appendix},
booktitle = {Proceedings of the Eighth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, 5-7 January 1997, New Orleans, Louisiana, {USA}},
pages = {739--746},
publisher = {{ACM/SIAM}},
year = {1997},
url = {http://dl.acm.org/citation.cfm?id=314161.314433},
timestamp = {Thu, 05 Jul 2018 07:29:42 +0200},
biburl = {https://dblp.org/rec/conf/soda/Ben-AsherFN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/Ben-AsherF94,
author = {Yosi Ben{-}Asher and
Eitan Farchi},
title = {Using true concurrency to model execution of parallel programs},
journal = {Int. J. Parallel Program.},
volume = {22},
number = {4},
pages = {375--407},
year = {1994},
url = {https://doi.org/10.1007/BF02577738},
doi = {10.1007/BF02577738},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/Ben-AsherF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
