Can Arda Muftuoglu

According to our database, Can Arda Muftuoglu authored at least 6 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Model-Based Contract Testing of Graphical User Interfaces.

Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte

IEICE Trans. Inf. Syst., 2015

2013

Efficient Verification of Distributed Protocols Using Stateful Model Checking.

Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

2012

Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems.

Can Arda Muftuoglu, Péter Bokor, Neeraj Suri

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2009

Directed Acyclic Graph Modeling of Security Policies for Firewall Testing.

Tugkan Tuglular, Özgür Kaya, Can Arda Muftuoglu, Fevzi Belli

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Event-Based Input Validation Using Design-by-Contract Patterns.

Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte

Proceedings of the ISSRE 2009, 2009

GUI-Based Testing of Boundary Overflow Vulnerability.

Tugkan Tuglular, Can Arda Muftuoglu, Özgür Kaya, Fevzi Belli, Michael Linschulte

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009