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

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)DTS - A Software Defects Testing System., , , and . SCAM, page 269-270. IEEE Computer Society, (2008)An Interval-Based Model for Detecting Software Defect Using Alias Analysis., , and . APSEC Workshops, page 136-144. IEEE, (2012)Improving Large-Gap Clone Detection Recall Using Multiple Features., , , , and . Int. J. Softw. Eng. Knowl. Eng., 32 (7): 1071-1099 (2022)Incremental Reliability Assessment of Large-Scale Software via Theoretical Structure Reduction., , , and . ICSOFT, page 241-248. SCITEPRESS, (2023)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.An Object-Oriented Program Automatic Execute Model and the Research of Algorithm., and . Asian Test Symposium, page 492-495. IEEE Computer Society, (2003)