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

Volltext

Static method of consistency and completeness checking in formal model of distributed software systems von Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

Volltext