Author of the publication

Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs.

, , , and . IEEE Trans. Software Eng., 49 (9): 4371-4389 (September 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets., and . IEEE Trans. Computers, 65 (11): 3370-3383 (2016)Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs., and . ACM Trans. Softw. Eng. Methodol., 26 (1): 5:1-5:34 (2017)Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences., and . Comput. J., 60 (1): 110-125 (2017)Distinguishing Sequences for Partially Specified FSMs., and . NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 62-76. Springer, (2014)Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs., , , and . IEEE Trans. Software Eng., 49 (9): 4371-4389 (September 2023)An Improved Upper Bound for the Length of Preset Distinguishing Sequences of Distinguished Merging Finite State Machines., , , and . ISCIS, page 325-335. Springer, (2014)Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences., and . IEEE Trans. Software Eng., 42 (11): 1077-1091 (2016)Incomplete Distinguishing Sequences for Finite State Machines., and . Comput. J., 58 (11): 3089-3113 (2015)The relation between preset distinguishing sequences and synchronizing sequences., , , and . Formal Aspects Comput., 26 (6): 1153-1167 (2014)Minimizing Characterizing sets., , and . Sci. Comput. Program., (2021)