共 50 条
- [1] Adaptive Experiments for State Identification in Finite State Machines with Timeouts MACHINES, COMPUTATIONS, AND UNIVERSALITY (MCU 2022), 2022, 13419 : 172 - 188
- [2] Genetic algorithms - synthesis of finite state machines 27th International Spring Seminar on Electronics Technology, Books 1-3, Conference Proceedings: MEETING THE CHALLENGES OF ELECTRONICS TECHNOLOGY PROGRESS, 2004, : 388 - 392
- [3] Parallel composition of nondeterministic Finite State Machines with Timeouts VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2014, 27 (02): : 73 - 81
- [4] Deriving homing sequences for Finite State Machines with timeouts COMPUTER JOURNAL, 2023, 66 (09): : 2181 - 2190
- [5] Testing finite state machines presenting stochastic time and timeouts FORMAL METHODS AND STOCHASTIC MODELS FOR PERFORMANCE EVALUATION, 2007, 4748 : 97 - +
- [6] Solving identification problem for asynchronous finite state machines using genetic algorithms GECCO 2006: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2006, : 1413 - 1414
- [7] Comparing Graph-Based Algorithms to Generate Test Cases from Finite State Machines JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2019, 35 (06): : 867 - 885
- [8] Comparing Graph-Based Algorithms to Generate Test Cases from Finite State Machines Journal of Electronic Testing, 2019, 35 : 867 - 885
- [9] Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts TESTING SOFTWARE AND SYSTEMS (ICTSS 2018), 2018, 11146 : 149 - 154
- [10] Analyzing graph-based algorithms employed to generate test cases from finite state machines 2019 20TH IEEE LATIN AMERICAN TEST SYMPOSIUM (LATS), 2019,