Author of the publication

Unit Test Data Generation for C Using Rule-Directed Symbolic Execution.

, , , and . J. Comput. Sci. Technol., 34 (3): 670-689 (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. 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

A hybrid static analysis refinement approach within internetware environment., , , , , and . Internetware, page 141-147. ACM, (2015)Automated defect identification via path analysis-based features with transfer learning., , , and . J. Syst. Softw., (2020)Design of intelligent agents for collaborative testing of service-based systems., , , and . AST, page 22-28. ACM, (2011)Improving Large-Gap Clone Detection Recall Using Multiple Features., , , , and . Int. J. Softw. Eng. Knowl. Eng., 32 (7): 1071-1099 (2022)An Interval-Based Model for Detecting Software Defect Using Alias Analysis., , and . APSEC Workshops, page 136-144. IEEE, (2012)Incremental Reliability Assessment of Large-Scale Software via Theoretical Structure Reduction., , , and . ICSOFT, page 241-248. SCITEPRESS, (2023)DTS - A Software Defects Testing System., , , and . SCAM, page 269-270. IEEE Computer Society, (2008)The application of iterative interval arithmetic in path-wise test data generation., , , and . Eng. Appl. Artif. Intell., (2015)Diagnosis-Oriented Alarm Correlations., , , and . APSEC (1), page 172-179. IEEE Computer Society, (2013)978-1-4799-2143-0.Nodes Deployment Optimization Algorithm Based on Improved Evidence Theory., , , , and . ICA3PP (Workshops), volume 11338 of Lecture Notes in Computer Science, page 84-89. Springer, (2018)