Author of the publication

Type Analysis and Automatic Static Detection of Infeasible Paths.

, , and . GSKI (2), volume 849 of Communications in Computer and Information Science, page 294-304. Springer, (2017)

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

Type Analysis and Automatic Static Detection of Infeasible Paths., , and . GSKI (2), volume 849 of Communications in Computer and Information Science, page 294-304. Springer, (2017)Medical software bug prediction based on static analysis., , , and . IECON, page 5460-5464. IEEE, (2017)Software Bug Number Prediction Based on Complex Network Theory and Panel Data Model., , , , , , and . IEEE Trans. Reliab., 71 (1): 162-177 (2022)Multiscale Empirical Analysis of Software Network Evolution., , , , , and . QRS Companion, page 1109-1118. IEEE, (2021)Reliability Evaluation of FPGA with Common Cause Failure in Multi-Phase Mission., , , and . QRS, page 320. IEEE, (2020)A Data-Driven Smart Fault Diagnosis Method for Electric Motor., , , , , and . QRS Companion, page 250-257. IEEE, (2018)A Multi-Layer Fault Triggering Framework based on Evolutionary Strategy Guided Symbolic Execution for Automated Test Case Generation., , , , and . QRS Companion, page 255-262. IEEE, (2022)Optimized Bayesian adaptive resonance theory mapping model using a rational quadratic kernel and Bayesian quadratic regularization., , , , and . Appl. Intell., 52 (7): 7777-7792 (2022)Identifying Influential Nodes in Complex System from Multiscale Complex Network Perspective., , , , and . QRS Companion, page 769-774. IEEE, (2023)Research on Micro Vibration Control of Satellite Flexible Structure Using Piezoelectric Variable Stiffness Actuator., , , and . QRS Companion, page 775-781. IEEE, (2023)