External Links

    Journal: Programming and Computer Software

    Volume 37, Issue 3

    121 -- 146Victor V. Kuliamin, Alexander Petukhov. A survey of methods for constructing covering arrays
    147 -- 152A. S. Kamkin, M. M. Chupilko. Survey of modern technologies of simulation-based verification of hardware
    153 -- 160Ruslan L. Smelyanskiy. On frequency analysis of sequential program code execution
    161 -- 170V. A. Padaryan, M. A. Solov ev, A. I. Kononov. Simulation of operational semantics of machine instructions
    171 -- 179O. G. Sharov, A. N. Afanas ev. Methods and tools for translation of graphical diagrams
    runs on