11 citations · 11 across the 1 of their papers we have counts for
4 papers
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…