Author of the publication

On adaptive experiments for nondeterministic finite state machines.

, , , and . Int. J. Softw. Tools Technol. Transf., 18 (3): 251-264 (2016)

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

Homing Sequence Derivation With Quantified Boolean Satisfiability., , , , and . IEEE Trans. Computers, 71 (3): 696-711 (2022)Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines., , , and . QRS, page 315-322. IEEE, (2016)Scalable QoE Prediction for Service Composition., and . ESaaSA@CLOSER, page 16-26. SciTePress, (2015)Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines., and . EWDTS, page 1-4. IEEE Computer Society, (2015)On using ABC for deriving distinguishing sequences for Verilog-descriptions., , , and . EWDTS, page 1-4. IEEE Computer Society, (2015)On the Length of Homing Sequences for Nondeterministic Finite State Machines., and . CIAA, volume 7982 of Lecture Notes in Computer Science, page 220-231. Springer, (2013)On Source Code Optimization for Interpreted Languages using State Models., , and . ENASE, page 282-287. SciTePress, (2016)Towards Model based Testing for Software Defined Networks., , , , and . ENASE, page 440-446. SciTePress, (2018)Adaptive Homing is in P., and . MBT, volume 180 of EPTCS, page 73-78. (2015)Novel machine learning technique for predicting teaching strategy effectiveness., , and . Int. J. Inf. Manag., (2020)