Interactive method for automated test suit development for formal models of software systems von A. V. Kolchin, S. V. Potienko

Volltext

A method of test data generation from source code of Java programs von A. V. Kolchin, S. V. Potienko

Volltext

A method for business logic extraction from legacy COBOL code of industrial systems von A. A. Guba, A. V. Kolchin, S. V. Potienko

Volltext

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems von A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

Volltext

A survey of systematic methods for code-based test data generation von V. A. Volkov, A. V. Kolchin, A. A. Letichevskij, S. V. Potienko

Volltext