5 citations · 7 across the 4 of their papers we have counts for
4 papers
Black-Box Bug-Amplification for Multithreaded Software
Yeshayahu Weiss, Gal Amram, Achiya Elyasaf +3
Bugs, especially those in concurrent systems, are often hard to reproduce because they manifest only under rare conditions. Testers frequently encounter failures that occur only un…
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…
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…
Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach
Yeshayahu Weiss
Testing is a significant aspect of software development. As systems become complex and their use becomes critical to the security and the function of society, the need for testing…