Author of the publication

TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution).

, , , , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 320-325. Springer, (2024)

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

Software fault localization using BP neural network based on function and branch coverage., , , and . Evol. Intell., 14 (1): 87-104 (2021)J3 Model: A novel framework for improved Modified Condition/Decision Coverage analysis., , , and . Comput. Stand. Interfaces, (2017)Scaling modified condition/decision coverage using distributed concolic testing for Java programs., , , and . Comput. Stand. Interfaces, (2018)GECOJAP: A novel source-code preprocessing technique to improve code coverage., , , and . Comput. Stand. Interfaces, (2018)MuSim: Mutation-based Fault Localization Using Test Case Proximity., , and . Int. J. Softw. Eng. Knowl. Eng., 31 (5): 725-744 (2021)Segmentation of text lines using multi-scale CNN from warped printed and handwritten document images., , , and . Int. J. Document Anal. Recognit., 24 (4): 299-313 (2021)BCBId: first Bangla comic dataset and its applications., , and . Int. J. Document Anal. Recognit., 25 (4): 265-279 (2022)A Function Dependency based Approach for Fault Localization with D., and . ICSOFT, page 273-283. ScitePress, (2020)Dy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program., and . ENASE, page 197-204. SCITEPRESS, (2021)CNN Based Extraction of Panels/Characters from Bengali Comic Book Page Images., and . GREC@ICDAR, page 38-43. IEEE, (2019)