Author of the publication

Heuristics for deriving distinguishing experiments of nondeterministic finite state machines.

, , , and . Appl. Soft Comput., (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

An Improved K-Means Algorithm for DNA Sequence Clustering., and . DEXA Workshops, page 39-42. IEEE Computer Society, (2015)An interpolation based crossover operator for genetic programming., and . GECCO (Companion), page 1107-1112. ACM, (2013)Automatic Test Data Generation Using a Genetic Algorithm., and . ICCSA (2), volume 7972 of Lecture Notes in Computer Science, page 574-586. Springer, (2013)Heuristics for deriving distinguishing experiments of nondeterministic finite state machines., , , and . Appl. Soft Comput., (2016)Path coverage testing in the cloud., and . ICCIT, page 118-123. IEEE, (2012)Multilevel Attention Models for Drug Target Binding Affinity Prediction.. Neural Process. Lett., 53 (6): 4659-4676 (2021)Toward a backward model checking., , and . Int. J. Comput. Aided Eng. Technol., 5 (1): 20-43 (2013)An Evolutionary Approach for Program Model Checking., , and . MEDI, volume 6918 of Lecture Notes in Computer Science, page 186-199. Springer, (2011)A Mutual Attention Model for Drug Target Binding Affinity Prediction.. IEEE ACM Trans. Comput. Biol. Bioinform., 19 (6): 3224-3232 (2022)A memetic algorithm for program verification., and . EMS, page 30-35. IEEE, (2011)