Scott Smolka

Latest

• Enhanced File System Testing through Input and Output Coverage
• 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