Efficient increasing of the mutation score during model-based test suite generation von Kolchin, A., Potienko, S., Weigert, T.

Volltext

Efficient increasing of the mutation score during model-based test suite generation von A. Kolchin, S. Potienko, T. Weigert

Volltext

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