activity
20192026
most citedHow To Catch A Lion In The Desert -- On The Solution Of The Coverage Directed Generation (CDG) Problem

6 citations · 7 across the 6 of their papers we have counts for

collaborators

6 papers

cs.SE2026★ 1 cited

Beyond Blind Spots: Analytic Hints for Mitigating LLM-Based Evaluation Pitfalls

Ora Nova Fandina, Eitan Farchi, Shmulik Froimovich +4

Large Language Models are increasingly deployed as judges (LaaJ) in code generation pipelines. While attractive for scalability, LaaJs tend to overlook domain specific issues raisi…

cs.SE2025

Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes

Ora Nova Fandina, Gal Amram, Eitan Farchi +6

Application modernization in legacy languages such as COBOL, PL/I, and REXX faces an acute shortage of resources, both in expert availability and in high-quality human evaluation d…

cs.CL2025

LaajMeter: A Framework for LaaJ Evaluation

Samuel Ackerman, Gal Amram, Ora Nova Fandina +5

Large Language Models (LLMs) are increasingly used as evaluators in natural language processing tasks, a paradigm known as LLM-as-a-Judge (LaaJ). The analysis of a LaaJ software, c…

cs.SE2025

Quality Evaluation of COBOL to Java Code Transformation

Shmulik Froimovich, Raviv Gal, Wesam Ibraheem +1

We present an automated evaluation system for assessing COBOL-to-Java code translation within IBM's watsonx Code Assistant for Z (WCA4Z). The system addresses key challenges in eva…

math.OC2021

Deep Neural Network Accelerated Implicit Filtering

Brian Irwin, Eldad Haber, Raviv Gal +1

In this paper, we illustrate a novel method for solving optimization problems when derivatives are not explicitly available. We show that combining implicit filtering (IF), an exis…

math.OC2019★ 6 cited

How To Catch A Lion In The Desert -- On The Solution Of The Coverage Directed Generation (CDG) Problem

Raviv Gal, Eldad Haber, Brian Irwin +2

The testing and verification of a complex hardware or software system, such as modern integrated circuits (ICs) found in everything from smartphones to servers, can be a difficult…