Publications

4 results for Gera Weiss

Black-Box Bug Amplification for Multithreaded Software
- - Yeshayahu Weiss
  - Gal Amram
  - et al.
- 2025
- Mathematics
Paper
Generalized Coverage Criteria for Combinatorial Sequence Testing
- - Achiya Elyasaf
  - Eitan Farchi
  - et al.
- 2023
- IEEE TSE
Paper
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure
- - Gal Amram
  - Avi Hayoun
  - et al.
- 2022
- DISC 2022
Conference paper
Towards behavioral programming in distributed architectures
- - David Harel
  - Amir Kantor
  - et al.
- 2015
- Science of Computer Programming
Paper