PUBLICATIONS SELECTIONNES
Journal
-
Boroday S. "Simple Fault Checking for Automata Generated by a Fault Function",
Cybernetics
and System Analysis, Plenum Publishing Corporation, New York, No. 6,
November-December, 1995, pp. 65-74.
-
Boroday S., Grunsky I.S., "Recursive Generation of Locally Complete Tests",
Cybernetics
and System Analysis, Plenum Publishing Corporation, New York, No. 4
July-August, 1992, pp. 20-25.
Actes de conférences
-
Hesham Hallal, Alex Petrenko, Andreas Ulrich, Sergiy Boroday "Using SDL
Tools to Test Properties of Distributed Systems" FATES'01, Formal
Approaches to Testing of Software, A Satellite Workshop of CONCUR'01
August 25, 2001 – Aalborg, Denmark.
-
Petrenko A., Boroday S., Groz R. "Confirming
Configurations in EFSM" In Formal methods for protocol engineering
and distributed systems: FORTE XII/ PSTV XIX : IFIP TC6 WG6 Joint International
Conference on Formal Description Techniques for Distributed Systems and
Communication Protocols (FORTE XII) and Protocol Specification, Testing,
and Verification (PSTV XIX), eds. Jianping Wu, Samuel T. Chanson, Quiang
Gao. Beijing, China, October 1999, pp. 5-24. (International Federation
for Information Processing ; series 28) [FORTE/PSTV'99 Best Paper Award].
-
Boroday S., "Distinguishing tests for nondeterministic finite state machines"
In Testing of Communicating Systems IWTCS 98; IFIP TC6 11th International
Workshop on Testing of Communicating Systems, eds. Alexandre Peternko,
Nina Yevtushenko, Tomsk, Russia, August-September, 1998, pp. 20-25.
-
Boroday S. "Determining Essential Arguments of Boolean
Functions" Abstracts of the International Conference on Mathematics
in Industry (ICIM-98), Taganrog, Russia, 1998. (Translated from Russian)
Articles soumis