Publications

3 results for Gera Weiss

Generalized Coverage Criteria for Combinatorial Sequence Testing
- - Achiya Elyasaf
  - Eitan Farchi
  - et al.
- 2023
- IEEE TSE
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure
- - Gal Amram
  - Avi Hayoun
  - et al.
- 2022
- DISC 2022
Towards behavioral programming in distributed architectures
- - David Harel
  - Amir Kantor
  - et al.
- 2015
- Science of Computer Programming