Search Results - "program analysis"

Refine Results
  1. 1

    Enhancing Notation-Based Code Cloning Method With an External-Based Identifier Model by Ngoc-Tu Chau, Souhwan Jung

    Published in IEEE Access (2020-01-01)
    Subjects: “…Program analysis…”
    Get full text
    Article


  2. 2

    Empirical Study of Software Composition Analysis Tools for C/C++ Binary Programs by Yuqiao Ning, Yanan Zhang, Chao Ma, Zhen Guo, Longhai Yu

    Published in IEEE Access (2024-01-01)
    Subjects: “…Binary program analysis…”
    Get full text
    Article


  3. 3

    Automatic Recognition and Replacement of Cyclic Redundancy Checks for Program Optimization by Mariam Arutunian, Sevak Sargsyan, Matevos Mehrabyan, Lilit Bareghamyan, Hayk Aslanyan

    Published in IEEE Access (2024-01-01)
    Subjects: “…program analysis…”
    Get full text
    Article


  4. 4

    Refactoring for Java-Structured Concurrency by Yang Zhang, Gaojie Shen, Liyan Zhang, Meiyan Zheng, Kun Zheng

    Published in Applied Sciences (2025-02-01)
    Subjects: “…program analysis…”
    Get full text
    Article


  5. 5

    Statically Analyzing the Energy Efficiency of Software Product Lines by Marco Couto, João Paulo Fernandes, João Saraiva

    Subjects: “…program analysis…”
    Get full text
    Article


  6. 6

    Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation by Yang Zhang, Shuai Shao, Huan Liu, Jing Qiu, Dongwen Zhang, Guanghua Zhang

    Published in IEEE Access (2019-01-01)
    Subjects: “…program analysis…”
    Get full text
    Article


  7. 7

    Program state optimal method based on variable symbolic relation analysis by Xi GUO, Pan WANG

    Published in Tongxin xuebao (2018-06-01)
    Subjects: “…program analysis;symbolic execution;constrain solver;symbolic analysis…”
    Get full text
    Article


  8. 8

    Метод оценки частоты выполнения фрагментов кода последовательной программы by Alexander Shalimov

    Subjects: “…program analysis…”
    Get full text
    Article


  9. 9

    Program state optimal method based on variable symbolic relation analysis by Xi GUO, Pan WANG

    Published in Tongxin xuebao (2018-06-01)
    Subjects: “…program analysis…”
    Get full text
    Article


  10. 10

    Program semantic analysis model for code reuse detection by GUO Xi, WANG Pan

    Published in Tongxin xuebao (2024-12-01)
    Subjects: “…program analysis…”
    Get full text
    Article


  11. 11

    GDBMiner: Mining Precise Input Grammars on (Almost) Any System by Eisele, Max, Hägele, Johannes, Huth, Christopher, Zeller, Andreas

    Published in Leibniz Transactions on Embedded Systems (2025-04-01)
    Subjects: “…program analysis…”
    Get full text
    Article


  12. 12

    Dynamic Program Analysis and Visualized Learning System in University Programming Courses by Pei-Wen Lin, Shu-Han Yu, Chien-Hung Lai

    Published in Engineering Proceedings (2025-07-01)
    Subjects: “…program analysis…”
    Get full text
    Article


  13. 13

    A survey and taxonomy of program analysis for IoT platforms by Alyaa A. Hamza, Islam T. Abdel-Halim, Mohamed A. Sobh, Ayman M. Bahaa-Eldin

    Published in Ain Shams Engineering Journal (2021-12-01)
    Subjects: “…Program Analysis…”
    Get full text
    Article


  14. 14

    An Innovative Approach to Design and Evaluate a Regional Coastal Ocean Observing System by Chris E. Ostrander, Chris E. Ostrander, Melissa M. Iwamoto, Fiona Langenberger

    Published in Frontiers in Marine Science (2019-03-01)
    Subjects: “…program analysis…”
    Get full text
    Article


  15. 15

    Addressing refugees and non-refugees in adult education programs: A longitudinal analysis on shifting public concerns by Bernd Käpplinger

    Subjects: “…program analysis…”
    Get full text
    Article


  16. 16

    Exact Boolean Abstraction of Linear Equation Systems by Emilie Allart, Joachim Niehren, Cristian Versari

    Published in Computation (2021-10-01)
    Subjects: “…program analysis…”
    Get full text
    Article


  17. 17

    An Approach for Evolving Transformation Sequences Using Hybrid Genetic Algorithms by Ahmed Maghawry, Mohamed Kholief, Yasser Omar, Rania Hodhod

    Subjects: “…Program analysis…”
    Get full text
    Article


  18. 18

    Robust Binary Program Debloating by DING Duo, SUN Cong, ZHENG Tao

    Published in Jisuanji kexue (2024-10-01)
    Subjects: “…program debloating|binary analysis|fuzzing|binary rewriting|program analysis…”
    Get full text
    Article


  19. 19

    Re_Trans: Combined Retrieval and Transformer Model for Source Code Summarization by Chunyan Zhang, Qinglei Zhou, Meng Qiao, Ke Tang, Lianqiu Xu, Fudong Liu

    Published in Entropy (2022-09-01)
    Subjects: “…program analysis…”
    Get full text
    Article


  20. 20

    A Survey on Verification of Security and Safety in IoT Systems by Lobna Abuserrieh, Manar H. Alalfi

    Published in IEEE Access (2024-01-01)
    Subjects: “…program analysis…”
    Get full text
    Article


Search Tools: