Author of the publication

Precise semantic history slicing through dynamic delta refinement.

, , , , and . Autom. Softw. Eng., 26 (4): 757-793 (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

Unifying execution of imperative generators and declarative specifications., , , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 217:1-217:26 (2020)The Java Pathfinder Workshop 2019., , , , , , , , , and 28 other author(s). ACM SIGSOFT Softw. Eng. Notes, 45 (2): 20-22 (2020)Multi-Criteria Fuzzy-Stochastic Diffusion Model of Groundwater Control System Selection., , , , and . Symmetry, 11 (5): 705 (2019)Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves., , , , and . AAAI Workshops, volume WS-18 of AAAI Technical Report, page 775-778. AAAI Press, (2018)Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration., , , and . AST@ICSE, page 115-125. ACM/IEEE, (2022)A performance portability framework for Python., , , and . ICS, page 467-478. ACM, (2021)Practical Machine-Checked Formalization of Change Impact Analysis., , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 137-157. Springer, (2020)Dynamic Generation of Python Bindings for HPC Kernels., , , and . ASE, page 92-103. IEEE, (2021)Learning to Update Natural Language Comments Based on Code Changes., , , , and . ACL, page 1853-1868. Association for Computational Linguistics, (2020)Deep Generation of Coq Lemma Names Using Elaborated Terms., , , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 97-118. Springer, (2020)