Erez Zadok

Latest

• Accelerating Multi-Tier Storage Cache Simulations Using Knee Detection
• Metis: File System Model Checking via Versatile Input and State Exploration
• Guiding Simulations of Multi-Tier Storage Caches Using Knee Detection
• Input and Output Coverage Needed in File System Testing
• Model-Checking Support for File System Development