Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 481443
Image document

Using an SMT Solver for Checking the Completeness of FSM-Based Tests

Evgenii Vinarskii , Andrey Laputenko , Nina Yevtushenko
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.289-295, ⟨10.1007/978-3-030-64881-7_18⟩
Conference papers hal-03239812v1
Image document

A model checking based approach for detecting SDN races

Evgenii Vinarskii , Jorge Lopez , Natalia Kushik , Nina Yevtushenko , Djamal Zeghlache
ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.194-211, ⟨10.1007/978-3-030-31280-0_12⟩
Conference papers hal-02448964v1
Image document

Operating System of the Multi-machine Computer AS-6

I. B. Bourdonov , V. P. Ivannikov , A. S. Kossatchev , S. D. Kuznetsov , A. N. Tomilin
1st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. pp.31-35, ⟨10.1007/978-3-642-22816-2_5⟩
Conference papers hal-01568412v1
Image document

Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs

Nina Yevtushenko , Victor Kuliamin , Natalia Kushik
ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.86-103, ⟨10.1007/978-3-030-31280-0_6⟩
Conference papers hal-02448916v1