Author of the publication

Test Suite Minimization for Embedded Nondeterministic Finite State Machines.

, , and . IWTCS, volume 147 of IFIP Conference Proceedings, page 237-250. Kluwer, (1999)

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

Distinguishing Experiments for Timed Nondeterministic Finite State Machines., , , and . Acta Cybern., 21 (2): 205-222 (2013)Synthesis of distinguishing test cases for timed finite state machines., and . Program. Comput. Softw., 36 (4): 216-224 (2010)FSM-based conformance testing methods: A survey annotated with experimental evaluation., , , , and . Inf. Softw. Technol., 52 (12): 1286-1297 (2010)Source code optimization using equivalent mutants., , and . Inf. Softw. Technol., (2018)Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs., , and . ICTSS, volume 11812 of Lecture Notes in Computer Science, page 86-103. Springer, (2019)Test Suite Minimization for Testing in Context., , and . IWTCS, volume 131 of IFIP Conference Proceedings, page 127-146. Kluwer, (1998)Distinguishing Transition Systems With The Nondeterministic Behavior., , and . SSI, volume 2543 of CEUR Workshop Proceedings, page 116-125. CEUR-WS.org, (2019)Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs., , and . TestCom, volume 176 of IFIP Conference Proceedings, page 35-. Kluwer, (2000)Test Suite Generation from a FSM with a Given Type of Implementation Errors., and . PSTV, volume C-8 of IFIP Transactions, page 229-243. North-Holland, (1992)Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines., , and . ICTSS, volume 8254 of Lecture Notes in Computer Science, page 33-48. Springer, (2013)