12 citations · 23 across the 4 of their papers we have counts for
5 papers
Dynamic Link Network Emulation: a Model-based Design
Erick Petersen, Jorge López, Natalia Kushik +2
This paper presents the design and architecture of a network emulator whose links' parameters (such as delay and bandwidth) vary at different time instances. The emulator can thus…
On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators
Erick Petersen, Jorge López, Natalia Kushik +2
A novel model-based approach to verify dynamic networks is proposed; the approach consists in formally describing the network topology and dynamic link parameters. A many sorted fi…
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…
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…
Adaptive Homing is in P
Natalia Kushik, Nina Yevtushenko
Homing preset and adaptive experiments with Finite State Machines (FSMs) are widely used when a non-initialized discrete event system is given for testing and thus, has to be set t…