A graphical method for automatic code generation from extended s-system petri net models by Ng, Kok Mun

“…This involves the development of a procedure for automatically mapping S-System Petri Net models constructed in the diagram editor to control flow graphs. The procedure uses a notion called graph nesting to help the design tool read and understand S-System model diagrams and transform them into control flow graphs. …”
Get full text
Get full text
Get full text

British Standard Methods of test for : Electrohydraulic proportional control valves / by British Standards Institution, author 8096

Machine-specific optimization methods for C/C++ applications that are distributed in the LLVM intermediate representation format by Sh. F. Kurmangaleev

“…The paper presents a static instrumentation technique with incomplete control flow edge covering and its correction to the full control flow profile. …”
Get full text

Methods of profile information correction during compilation by O. A. Chetverina

“…After applying transformations, which change control flow graph, it is necessary to adjust the profile information in order to maintain its adequacy for the work of succeeding optimizations. …”
Get full text

A systematic analysis of defenses against code reuse attacks by Casteel, Kelly (Kelly C.)

Get full text

Business Process Complexity Measurement: A Systematic Literature Review by Changhong Zhou, Dengliang Zhang, Deyan Chen, Cong Liu

“…Currently, the most popular and widely used complexity metric is Control Flow Complexity (CFC). Process complexity metrics mainly focus on measuring the complexity of process models, and the majority of them focus on activity complexity or control-flow complexity. …”
Get full text

Software code protection through software obfuscation by Liang, Shan

“…The first self-modifying proposal is integrated with Control Flow Flattening to realize the obscurity in instruction and execution control flow. …”
Get full text

The new approach to the problem-driven object programming by Prutzkow Alexander, Tsybulko Dmitriy

“…During code writing, the user programs a control flow and sets type and parameters of the object. …”
Get full text

PEMBENTUKAN SET JALUR ALIRAN PROGRAM MENGGUNAKAN TEKNIK JUMLAH JALUR MINIMUM DAN TEKNIK JUMLAH PREDIKAT MINIMUM by Rosa de Lima Endang Padmowati

“…Structured testing is based on the control flow of programs. The analysis of the control flow of program is conducted on a reduced flowgraph, called a decision-to-decision graph (DDGraph). …”
Get full text

Runtime execution tracing and alignment with PANDA by Goggin, Leah(Leah G.)

Get full text

AJcFgraph - AspectJ control graph builder for aspect-oriented software. by Parizi, Reza Meimandi, Abd. Ghani, Abdul Azim

“…Therefore, this study is dedicated to build an aspect-oriented control flow graph construction tool called AJcFgraph Builder. …”
Get full text

Path-Based Program Repair by Heinz Riener, Rüdiger Ehlers, Görschwin Fey

“…In contrast to prior work, our approach is complete for programs with finitely many control-flow paths, i.e., the program is repaired if and only if it can be repaired at the specified fault location. …”
Get full text

New Benchmarking Methodology and Programming Model for Big Data Processing by Anton Kos, Sašo Tomažič, Jakob Salom, Nemanja Trifunovic, Mateo Valero, Veljko Milutinovic

“…The performance of data flow systems that are processing big data should not be measured with the measures defined for the prevailing control flow systems. A new benchmarking methodology is proposed, which integrates the performance issues of speed, area, and power needed to execute the task. …”
Get full text

Development of software testing and analysis tools - Part B by Ong, Ghim Hean.

“…A function is first developed to represent the program to be analyzed in the form of control flow graph. Based on the control flow graph that has been generated, a few analysis tools have been developed to facilitate the task of analysis. …”
Get full text

Mining Product Data Models: A Case Study by Cristina-Claudia DOLEAN

“…Moreover, the data-flow model is compared to the control-flow model.…”
Get full text

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy by Robert Glück, Robin Kaarsgaard

“…Structured reversible flowchart languages is a class of imperative reversible programming languages allowing for a simple diagrammatic representation of control flow built from a limited set of control flow structures. …”
Get full text

Object-oriented codes representation of program understanding system by Mohd Sani, Nor Fazlida, Mohd Zin, Abdullah, Idris, Sufian

“…The program’s representation that has been used and will be discussed is an Object-oriented Control Flow Graph (OO-CFG). OO-CFG was an added version on the notation of the traditional control flow graph (CFG). …”
Get full text

Data-Flow Modeling: A Survey of Issues and Approaches by Cristina-Claudia DOLEAN, Razvan PETRUSEL

“…When it comes to modeling and analyzing business process models the current research focuses on control flow modeling (i.e. the activities of the process) and very little attention is paid to the data-flow perspective. …”
Get full text

Synthesis from Recursive-Components Libraries by Yoad Lustig, Moshe Vardi

“…Here, we extend the work and study synthesis from component libraries with ``call and return'' control flow structure. Such control-flow structure is very common in software systems. …”
Get full text

Disassemble Byte Sequence Using Graph Attention Network by Jing Qiu, Feng Dong, Guanglu Sun

“…First, each byte of a code block is used as the disassembly start address, and all disassembly results (control flow graphs) are combined into a single flow graph. …”
Get full text