An Approach to Preserving Sufficient Correctness in Open Resource Coalitions. - Orna Raz; Mary Shaw (IWSSD, 2000)

Research abstract for semantic detection in dynamic data feeds with incomplete specifications. - Orna Raz (ICSE, 2002)

Semantic anomaly detection in online data sources. - Orna Raz; Philip Koopman; Mary Shaw (ICSE, 2002)

Enabling automatic adaptation in systems with under-specified elements. - Orna Raz; Philip Koopman; Mary Shaw (WOSS, 2002)

Automated Assistance for Eliciting User Expectations. - Orna Raz; Rebecca B. Buchheit; Mary Shaw; Philip Koopman; Christos Faloutsos (SEKE, 2004)

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)

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

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)

Hardware-less testing for RAS software. - Aviad Zlotnick; Orna Raz (SYSTOR, 2009)

Code coverage analysis in practice for large systems. - Yoram Adler; Noam Behar; Orna Raz; Onn Shehory; Nadav Steindler; Shmuel Ur; Aviad Zlotnick (ICSE, 2011)

Towards efficient measuring of web services API coverage. - Waldemar Hummer; Orna Raz; Schahram Dustdar (PESOS@ICSE, 2011)

Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems. - Waldemar Hummer; Orna Raz; Onn Shehory; Philipp Leitner 001; Schahram Dustdar (ICST, 2011)

Reducing Costs While Increasing Quality. - Orna Raz (Haifa Verification Conference, 2012)

Testing of data-centric and event-based dynamic service compositions. - Waldemar Hummer; Orna Raz; Onn Shehory; Philipp Leitner 001; Schahram Dustdar (Softw. Test. Verification Reliab., 2013)

Cluster-based test suite functional analysis. - Marcel Zalmanovici; Orna Raz; Rachel Tzoref-Brill (SIGSOFT FSE, 2016)

Optimizing Hierarchical Classification with Adaptive Node Collapses. - Sujan Perera; Orna Raz; Ramani Routray; Shenghua Bao; Marcel Zalmanovici (AAAI Workshops, 2018)

Proactive and pervasive combinatorial testing. - Dale Blue; Orna Raz; Rachel Tzoref-Brill; Paul A. Wojciak; Marcel Zalmanovici (ICSE (SEIP), 2018)

Governance and Regulations Implications on Machine Learning (Brief Announcement). - Sima Nadler; Orna Raz; Marcel Zalmanovici (CSCML, 2019)

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)

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)

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

FreaAI: Automated extraction of data slices to test machine learning models. - Samuel Ackerman; Orna Raz; Marcel Zalmanovici (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)

Automatically detecting data drift in machine learning classifiers. - Samuel Ackerman; Orna Raz; Marcel Zalmanovici; Aviad Zlotnick (CoRR, 2021)

Classifier Data Quality: A Geometric Complexity Based Method for Automated Baseline And Insights Generation. - George Kour; Marcel Zalmanovici; Orna Raz; Samuel Ackerman; Ateret Anaby-Tavor (CoRR, 2021)

Experiment Based Crafting and Analyzing of Machine Learning Solutions. - Samuel Ackerman; Eitan Farchi; Orna Raz; Onn Shehory (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)

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)

Automatic Generation of Attention Rules For Containment of Machine Learning Model Errors. - Samuel Ackerman; Axel Bendavid; Eitan Farchi; Orna Raz (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)

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)

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)

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)

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