3 papers
cs.NI2019
Identifying Operational Data-paths in Software Defined Networking Driven Data-planes
José Reyes, Jorge López, Djamal Zeghlache
In this paper, we propose an approach that relies on distributed traffic generation and monitoring to identify the operational data-paths in a given Software Defined Networking (SD…
cs.NI2019
Preventive Model-based Verification and Repairing for SDN Requests
Igor Burdonov, Alexandre Kossachev, Nina Yevtushenko +3
Software Defined Networking (SDN) is a novel network management technology, which currently attracts a lot of attention due to the provided capabilities. Recently, different works…
cs.SE2018
Source Code Optimization using Equivalent Mutants
Jorge López, Natalia Kushik, Nina Yevtushenko
A mutant is a program obtained by syntactically modifying a program's source code; an equivalent mutant is a mutant, which is functionally equivalent to the original program. Mutan…