Search Results

Now showing 1 - 2 of 2

Citation - Scopus: 2
Feedback Control Based Test Case Instantiation for Firewall Testing
(Institute of Electrical and Electronics Engineers Inc., 2010) Tuğlular, Tuğkan; Gerçek, Gürcan
A firewall's proper functioning is critical to the network it protects. Thus, a firewall should be tested with respect to its intended security policy. We propose a feedback control based approach for test case generation to detect mismatches between firewall's expected and executed behavior. In the proposed approach, abstract test cases are generated from firewall decision diagrams and instantiated with the test input values chosen using the proposed feedback control based selection algorithm. A case study is presented to validate the presented approach.
Citation - WoS: 1
Citation - Scopus: 2
Applications of Graph Coloring
(Springer Verlag, 2005) Ufuktepe, Ünal; Bacak, Gökşen
A graph G is a mathematical structure consisting of two sets V(G) (vertices of G) and E(G) (edges of G). Proper coloring of a graph is an assignment of colors either to the vertices of the graphs, or to the edges, in such a way that adjacent vertices / edges are colored differently. This paper discusses coloring and operations on graphs with Mathematica and webMathematica. We consider many classes of graphs to color with applications. We draw any graph and also try to show whether it has an Eulerian and Hamiltonian cycles by using our package ColorG

Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection