26 citations · 80 across the 14 of their papers we have counts for
Showing 2022 · cs.SEShow all
2 papers · 2 filters
cs.SE2022★ 4 cited
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…
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…