Author of the publication

Optimizing network utilization through source code state model representation.

, , , and . EWDTS, page 1-4. IEEE Computer Society, (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

Testing in context: framework and test derivation., , , and . Comput. Commun., 19 (14): 1236-1249 (1996)Novel machine learning technique for predicting teaching strategy effectiveness., , and . Int. J. Inf. Manag., (2020)Deriving Synchronizing and Homing Sequences for Input/Output Automata., , , and . Autom. Control. Comput. Sci., 52 (7): 589-595 (2018)Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines., and . Autom. Control. Comput. Sci., 51 (7): 516-522 (2017)On adaptive experiments for nondeterministic finite state machines., , , and . Int. J. Softw. Tools Technol. Transf., 18 (3): 251-264 (2016)Guest Editorial: Special issue on Testing Software and Systems., , and . Softw. Qual. J., 27 (2): 497-499 (2019)Discussion on Supervisory Control by Solving Automata Equation, , and . CoRR, (2009)Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation., , and . Formal Aspects Comput., 30 (2): 319-332 (2018)Deriving FSM-based tests using $a, b-faults$ for Logic Circuits., , , and . ISVLSI, page 80-85. IEEE, (2022)A Model Checking Based Approach for Detecting SDN Races., , , , and . ICTSS, volume 11812 of Lecture Notes in Computer Science, page 194-211. Springer, (2019)