Model Based Testing Framework Using Component Technologies von Victor V. Kuliamin

Volltext

Using Refinement in Formal Development of OS Security Model von Devyanin, Petr N., Khoroshilov, Alexey V., Kuliamin, Victor V., Petrenko, Alexander K., Shchepetkov, Ilya V.

Volltext

Formal Verification of OS Security Model with Alloy and Event-B von Devyanin, Petr N., Khoroshilov, Alexey V., Kuliamin, Victor V., Petrenko, Alexander K., Shchepetkov, Ilya V.

Volltext

Practical Approach to Specification and Conformance Testing of Distributed Network Applications von Kuliamin, Victor V., Pakoulin, Nickolay V., Petrenko, Alexander K.

Volltext

Multi-paradigm Models as Source for Automated Test Construction von Kuliamin, Victor V.

Volltext

Practical approach to specification and conformance testing of distributed network applications von KULIAMIN, Victor V, PAKOULIN, Nickolay V, PETRENKO, Alexander K

Volltext

Java Specification Extension for Automated Test Development von Bourdonov, Igor B., Demakov, Alexey V., Jarov, Andrew A., Kossatchev, Alexander S., Kuliamin, Victor V., Petrenko, Alexander K., Zelenov, Sergey V.

Volltext

UniTesK test suite architecture von BOURDONOV, Igor B, KOSSATCHEV, Alexander S, KULIAMIN, Victor V, PETRENKO, Alexander K

Volltext

Java specification extension for automated test development von BOURDONOV, Igor B, DEMAKOV, Alexey V, JAROV, Andrew A, KOSSATCHEV, Alexander S, KULIAMIN, Victor V, PETRENKO, Alexander K, ZELENOV, Sergey V

Volltext