Can Arda Muftuoglu

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Model-Based Contract Testing of Graphical User Interfaces.
IEICE Trans. Inf. Syst., 2015

2013
Efficient Verification of Distributed Protocols Using Stateful Model Checking.
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.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2009
Directed Acyclic Graph Modeling of Security Policies for Firewall Testing.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Event-Based Input Validation Using Design-by-Contract Patterns.
Proceedings of the ISSRE 2009, 2009

GUI-Based Testing of Boundary Overflow Vulnerability.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009


  Loading...