Traversal of arbitrary sequences of UCM symbolic transitions for test generation

• Published in: Проблеми програмування
• Date: 2014
• Main Author: Guba, A.A.
• Format: Article
• Language: English
• Published: Інститут програмних систем НАН України 2014
• Subjects: Методи та засоби програмної інженерії
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/113221
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Traversal of arbitrary sequences of UCM symbolic transitions for test generation / A.A. Guba // Проблеми програмування. — 2014. — № 2-3. — С. 107-111. — Бібліогр.: 17 назв. — англ.

The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space exploring of UCM models using symbolic solving and proving is presented. The g...