activity
20222026
most citedGeneralized Coverage Criteria for Combinatorial Sequence Testing

5 citations · 5 across the 5 of their papers we have counts for

collaborators

6 papers

cs.AI2026

Governed Shared Memory for Multi-Agent LLM Systems

Yanki Margalit, Nurit Cohen-Inger, Erni Avram +2

Multi-agent LLM environments require robust mechanisms for shared knowledge management. This paper formalizes the fleet-memory problem and identifies four foundational failure mode…

cs.AI2026

Agents-as-Peers: Bias-Controlled LLM Evaluation as Multi-Agent Peer Assessment

Yanki Margalit, Erni Avram, Ran Taig +3

Large language model (LLM) evaluation commonly relies on fixed human-authored benchmarks or centralized human/model judges. Fixed benchmarks can age and enter model training corpor…

cs.SE2025

Black-Box Bug-Amplification for Multithreaded Software

Yeshayahu Weiss, Gal Amram, Achiya Elyasaf +3

Bugs, especially those in concurrent systems, are often hard to reproduce because they manifest only under rare conditions. Testers frequently encounter failures that occur only un…

cs.NE2024

Evolving Assembly Code in an Adversarial Environment

Irina Maliukov, Gera Weiss, Oded Margalit +1

In this work, we evolve Assembly code for the CodeGuru competition. The goal is to create a survivor -- an Assembly program that runs the longest in shared memory, by resisting att…

cs.FL2022

The Normalized Edit Distance with Uniform Operation Costs is a Metric

Dana Fisman, Joshua Grogin, Oded Margalit +1

We prove that the normalized edit distance proposed in [Marzal and Vidal 1993] is a metric when the cost of all the edit operations are the same. This closes a long standing gap in…

cs.SE2022★ 5 cited

Generalized Coverage Criteria for Combinatorial Sequence Testing

Achiya Elyasaf, Eitan Farchi, Oded Margalit +2

We present a new model-based approach for testing systems that use sequences of actions and assertions as test vectors. Our solution includes a method for quantifying testing quali…