5 citations · 26 across the 15 of their papers we have counts for
16 papers
Provengo: A Tool Suite for Scenario Driven Model-Based Testing
Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss +1
We present Provengo, a comprehensive suite of tools designed to facilitate the implementation of Scenario-Driven Model-Based Testing (SDMBT), an innovative approach that utilizes s…
Efficient One Sided Kolmogorov Approximation
Liat Cohen, Tal Grinshpoun, Gera Weiss
We present an efficient algorithm that, given a discrete random variable and a number , computes a random variable whose support is of size at most and whose Kolmogorov…
What Petri Net Obliges Us to Say: Comparing Approaches for Behavior Composition
Achiya Elyasaf, Tom Yaacov, Gera Weiss
We identify and demonstrate a weakness of Petri Nets (PN) in specifying composite behavior of reactive systems. Specifically, we show how, when specifying multiple requirements in…
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…
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…
Adapting Behaviors via Reactive Synthesis
Gal Amram, Suguman Bansal, Dror Fried +3
In the \emph{Adapter Design Pattern}, a programmer implements a \emph{Target} interface by constructing an \emph{Adapter} that accesses an existing \emph{Adaptee} code. In this wor…