Department of Networked Systems and Services
application (1) · assembly (1) · automated software test (1) · automatic software testing (1) · automatic testing (1) · automation (1) · bap (1) · binary instrumentation (2) · browser (1) · C# software development (1) · C++ (1) · Centralised system (1) · communication (1) · compilation (1) · Concepts (1) · control flow graph (1) · EINSTEIN (1) · EWS (1) · formal verification (1) · fuzz testing (1) · fuzzing (2) · graph visualization (1) · GUI (1) · IDS (1) · IPS (1) · IT security (1) · Microsoft (1) · moflow (1) · PLC (1) · program analysis (1) · Program verification (1) · Python (1) · reverse engineering (2) · Rules (1) · security vulnerabilities (1) · serial port (1) · Siemens (1) · software testing (1) · symbolic execution (2) · Theory of computation (1) · touchscreen (1) · user interface (1) · Visual Basic (1) · Visual Studio (1) · Z3 (1)
9 theses in total. View all theses »