Generalized Coverage Criteria for Combinatorial Sequence Testing
- Achiya Elyasaf
- Eitan Farchi
- et al.
- 2023
- IEEE TSE
Publications
Date
Featured collections
Popular topics
3 results for Gera Weiss
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