Yeshayahu Weiss

According to our database, Yeshayahu Weiss authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Generalized Coverage Criteria for Combinatorial Sequence Testing.

Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss

IEEE Trans. Software Eng., August, 2023

Provengo: A Tool Suite for Scenario Driven Model-Based Testing.

Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria.

Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss

CoRR, 2022

2021

Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach.

Yeshayahu Weiss

CoRR, 2021