Traversal of arbitrary sequences of UCM symbolic transitions for test generation von A. A. Guba

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

Deductive verification of requirements for event-driven architecture von A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Guba

Volltext