Scott Smolka

Latest

• Metis: File System Model Checking via Versatile Input and State Exploration
• Input and Output Coverage Needed in File System Testing
• Model-Checking Support for File System Development