Can Arda Muftuoglu

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Graphical User Interfaces

Partial Order Reduction

Top Venues

IEICE Trans. Inf. Syst.

Publications

Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte
Model-Based Contract Testing of Graphical User Interfaces. IEICE Trans. Inf. Syst. (7) (2015)
Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini
Efficient Verification of Distributed Protocols Using Stateful Model Checking. SRDS (2013)
Can Arda Muftuoglu, Péter Bokor, Neeraj Suri
Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. SSS (2012)
Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte
Event-Based Input Validation Using Design-by-Contract Patterns. ISSRE (2009)
Tugkan Tuglular, Özgür Kaya, Can Arda Muftuoglu, Fevzi Belli
Directed Acyclic Graph Modeling of Security Policies for Firewall Testing. SSIRI (2009)
Tugkan Tuglular, Can Arda Muftuoglu, Özgür Kaya, Fevzi Belli, Michael Linschulte
GUI-Based Testing of Boundary Overflow Vulnerability. COMPSAC (2) (2009)