Search Results - "program analysis"
-
1
Enhancing Notation-Based Code Cloning Method With an External-Based Identifier Model
Published in IEEE Access (2020-01-01)Subjects: “…Program analysis…”
Get full text
Article -
2
Empirical Study of Software Composition Analysis Tools for C/C++ Binary Programs
Published in IEEE Access (2024-01-01)Subjects: “…Binary program analysis…”
Get full text
Article -
3
Automatic Recognition and Replacement of Cyclic Redundancy Checks for Program Optimization
Published in IEEE Access (2024-01-01)Subjects: “…program analysis…”
Get full text
Article -
4
Refactoring for Java-Structured Concurrency
Published in Applied Sciences (2025-02-01)Subjects: “…program analysis…”
Get full text
Article -
5
Statically Analyzing the Energy Efficiency of Software Product Lines
Published in Journal of Low Power Electronics and Applications (2021-03-01)Subjects: “…program analysis…”
Get full text
Article -
6
Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation
Published in IEEE Access (2019-01-01)Subjects: “…program analysis…”
Get full text
Article -
7
Program state optimal method based on variable symbolic relation analysis
Published in Tongxin xuebao (2018-06-01)Subjects: “…program analysis;symbolic execution;constrain solver;symbolic analysis…”
Get full text
Article -
8
Метод оценки частоты выполнения фрагментов кода последовательной программы
Published in Моделирование и анализ информационных систем (2010-06-01)Subjects: “…program analysis…”
Get full text
Article -
9
Program state optimal method based on variable symbolic relation analysis
Published in Tongxin xuebao (2018-06-01)Subjects: “…program analysis…”
Get full text
Article -
10
Program semantic analysis model for code reuse detection
Published in Tongxin xuebao (2024-12-01)Subjects: “…program analysis…”
Get full text
Article -
11
GDBMiner: Mining Precise Input Grammars on (Almost) Any System
Published in Leibniz Transactions on Embedded Systems (2025-04-01)Subjects: “…program analysis…”
Get full text
Article -
12
Dynamic Program Analysis and Visualized Learning System in University Programming Courses
Published in Engineering Proceedings (2025-07-01)Subjects: “…program analysis…”
Get full text
Article -
13
A survey and taxonomy of program analysis for IoT platforms
Published in Ain Shams Engineering Journal (2021-12-01)Subjects: “…Program Analysis…”
Get full text
Article -
14
An Innovative Approach to Design and Evaluate a Regional Coastal Ocean Observing System
Published in Frontiers in Marine Science (2019-03-01)Subjects: “…program analysis…”
Get full text
Article -
15
Addressing refugees and non-refugees in adult education programs: A longitudinal analysis on shifting public concerns
Published in European Journal for Research on the Education and Learning of Adults (2018-10-01)Subjects: “…program analysis…”
Get full text
Article -
16
Exact Boolean Abstraction of Linear Equation Systems
Published in Computation (2021-10-01)Subjects: “…program analysis…”
Get full text
Article -
17
An Approach for Evolving Transformation Sequences Using Hybrid Genetic Algorithms
Published in International Journal of Computational Intelligence Systems (2020-02-01)Subjects: “…Program analysis…”
Get full text
Article -
18
Robust Binary Program Debloating
Published in Jisuanji kexue (2024-10-01)Subjects: “…program debloating|binary analysis|fuzzing|binary rewriting|program analysis…”
Get full text
Article -
19
Re_Trans: Combined Retrieval and Transformer Model for Source Code Summarization
Published in Entropy (2022-09-01)Subjects: “…program analysis…”
Get full text
Article -
20
A Survey on Verification of Security and Safety in IoT Systems
Published in IEEE Access (2024-01-01)Subjects: “…program analysis…”
Get full text
Article
