Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach. - Yeshayahu Weiss (CoRR, 2021)

Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria. - Achiya Elyasaf; Eitan Farchi; Oded Margalit; Gera Weiss; Yeshayahu Weiss (CoRR, 2022)

Provengo: A Tool Suite for Scenario Driven Model-Based Testing. - Michael Bar-Sinai; Achiya Elyasaf; Gera Weiss; Yeshayahu Weiss (ASE, 2023)

Generalized Coverage Criteria for Combinatorial Sequence Testing. - Achiya Elyasaf; Eitan Farchi; Oded Margalit; Gera Weiss; Yeshayahu Weiss (IEEE Trans. Software Eng., 2023)

Black-Box Bug-Amplification for Multithreaded Software. - Yeshayahu Weiss; Gal Amram; Achiya Elyasaf; Eitan Farchi; Oded Margalit; Gera Weiss (CoRR, 2025)