News

Latest News

News

2025 Summer Eng. Vacation Research Internship Program

The Engineering Vacation Research Internship Program for 2025 Summer has been published. You can find the list of CS projects here. These are: (1) CS2024-25/12 Implementing a GLR Parser in Python (2) CS2024-25/13 Grammar Inference with TTT (3) CS2024-25/32 Implementation of the Hoare-style Reasoning System in Proof Assistant (4) CS2024-25/46 Testing a dbms with random […]

News

Visit from Prof. Dr. Andreas Zeller

Andreas Zeller is visiting University of Sydney, and would be giving us a Basser Seminar on “Semantic Fuzzing: Massive Testing for Complex Input Formats“ Abstract Automatic Test Generation (Fuzzing) has always suffered from two significant problems: First, the input generation problem – generating valid inputs that cover program functionality. Second, the oracle problem – that […]