5 citations · 5 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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…