A method for reduction of analyzed behavior space during verification of formal models of distributed software systems за авторством A. V. Kolchin

Отримати повний текст

Interactive method for automated test suit development for formal models of software systems за авторством A. V. Kolchin, S. V. Potienko

Отримати повний текст

A method of test data generation from source code of Java programs за авторством A. V. Kolchin, S. V. Potienko

Отримати повний текст

A method for business logic extraction from legacy COBOL code of industrial systems за авторством A. A. Guba, A. V. Kolchin, S. V. Potienko

Отримати повний текст

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems за авторством A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

Отримати повний текст

A survey of systematic methods for code-based test data generation за авторством V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

Отримати повний текст