GUI-Based Testing of Boundary Overflow Vulnerability. - Tugkan Tuglular; Can Arda Muftuoglu; Özgür Kaya; Fevzi Belli; Michael Linschulte (COMPSAC (2), 2009)

Event-Based Input Validation Using Design-by-Contract Patterns. - Tugkan Tuglular; Can Arda Muftuoglu; Fevzi Belli; Michael Linschulte (ISSRE, 2009)

Directed Acyclic Graph Modeling of Security Policies for Firewall Testing. - Tugkan Tuglular; Özgür Kaya; Can Arda Muftuoglu; Fevzi Belli (SSIRI, 2009)

Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. - Can Arda Muftuoglu; Péter Bokor; Neeraj Suri (SSS, 2012)

Efficient Verification of Distributed Protocols Using Stateful Model Checking. - Habib Saissi; Péter Bokor; Can Arda Muftuoglu; Neeraj Suri; Marco Serafini (SRDS, 2013)

Model-Based Contract Testing of Graphical User Interfaces. - Tugkan Tuglular; Can Arda Muftuoglu; Fevzi Belli; Michael Linschulte (IEICE Trans. Inf. Syst., 2015)