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

Subjects: Get full text

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

Subjects: Get full text

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

Subjects: “…program analysis…”
Get full text

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

Subjects: “…program analysis…”
Get full text

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

Subjects: “…program analysis…”
Get full text

Medienkompetenz als Lehrinhalt an Volkshochschulen by Jan Hellriegel

Subjects: Get full text

The System for Transforming the Code of Dataflow Programs into Imperative by Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov

Subjects: Get full text

Random Model Sampling: Making Craig Interpolation Work When It Should Not by Marat Akhin, Sam Kolton, Vladimir Itsykson

Subjects: Get full text

LLVM-based Static Analysis Tool Using Type and Effect Systems by M. A. Belyaev, V. A. Tsesko

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

An Effective Genetic Algorithm for Mixed Precision by Wanyu Zhang, Yu Shang, Min Tsao, Yiwei Li, Xiaoyu Song

Subjects: Get full text

Survey on automated vulnerability mining techniques for IoT device firmware by LIU Hangtian, GAN Shuitao, ZHANG Chao, ZHANG Hongqi, SUN Wenhou, GAO Zicong, ZHAO Min, BAI Xue

Subjects: Get full text