( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts.

, , и . ICTSS, том 11812 из Lecture Notes in Computer Science, стр. 104-120. Springer, (2019)

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.

Emin Sinan Ömeroglu

Lutful Mannan Osama Omer

Abrehet Mohammed Omer

Lutful Mannan Osama Omer

Osman Hussein Omer

 

Другие публикации лиц с тем же именем

Fault Detection in Timed FSM with Timeouts by SAT-Solving., , и . QRS, стр. 326-333. IEEE, (2019)Mining Precise Test Oracle Modelled by FSM.. CoRR, (2022)An Approach to Evaluating Learning Algorithms for Decision Trees., , , , и . CoRR, (2020)Mining Precise Test Oracle Modelled by FSM.. ICTSS, том 13045 из Lecture Notes in Computer Science, стр. 20-36. Springer, (2021)Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study., и . USE@FM, том 320 из Electronic Notes in Theoretical Computer Science, стр. 35-51. Elsevier, (2015)Reachability in hierarchical machines., , , и . IRI, стр. 475-482. IEEE Computer Society, (2014)Test Selection for Data-Flow Reactive Systems Based on Observations., и . ICST Workshops, стр. 1-8. IEEE Computer Society, (2011)Runtime enforcement of timed properties revisited., , , , , и . Formal Methods Syst. Des., 45 (3): 381-422 (2014)Y Nut, a Phonetic-Based Learning System for Spoken Languages., и . AFRICOMM, том 135 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 229-233. Springer, (2013)Fault model-driven testing from FSM with symbolic inputs., , и . Softw. Qual. J., 27 (2): 501-527 (2019)