Search Results - N. V. Yevtushenko

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines

    Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines by A. D. Ermakov, N. V. Yevtushenko

    Published 2016-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    A SPIN-based Approach for Detecting Vulnerabilities in C Programs

    A SPIN-based Approach for Detecting Vulnerabilities in C Programs by N. G. Kushik, A. . Mammar, A. . Cavalli, N. V. Yevtushenko, W. . Jimenez, E. . Montes De Oca

    Published 2011-12-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: