( en | de | ru )

 

Disambiguation of "Gong, Yunzhan"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Procedure Summary Using Region-based Symbolic Three-valued Logic.

, , and . J. Comput., 9 (3): 774-780 (2014)

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.

Weihua Gong

Jing Gong

Ping Gong

Mengxiong Gong

Pu Gong

 

Other publications of authors with the same name

Deductive fault simulation algorithm based on fault collapsing., and . J. Comput. Sci. Technol., 8 (2): 182-187 (1993)Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns., , , , and . IEEE Access, (2019)An improving approach to analyzing change impact of C programs., , , , and . Comput. Commun., (2022)A variable-level automated defect identification model based on machine learning., , , , , and . Soft Comput., 24 (2): 1045-1061 (2020)Automated defect identification via path analysis-based features with transfer learning., , , and . J. Syst. Softw., (2020)A hybrid static analysis refinement approach within internetware environment., , , , , and . Internetware, page 141-147. ACM, (2015)Design of intelligent agents for collaborative testing of service-based systems., , , and . AST, page 22-28. ACM, (2011)An Interval-Based Model for Detecting Software Defect Using Alias Analysis., , and . APSEC Workshops, page 136-144. IEEE, (2012)Nodes deployment optimization algorithm based on improved evidence theory of underwater wireless sensor networks., , , and . Photonic Netw. Commun., 37 (2): 224-232 (2019)Improving Large-Gap Clone Detection Recall Using Multiple Features., , , , and . Int. J. Softw. Eng. Knowl. Eng., 32 (7): 1071-1099 (2022)