Source code comprehension of massively growing code bases is the first crucial step in
today's software development. One of the significant obstacles in reading the source code is …

Microservice Architecture (MSA) has become a standard for designing scalable and flexible
enterprise applications. However, the process of migrating monolithic systems to …

Symbolic execution techniques are widely adopted in diverse fields, including software
quality analysis, software defect detection and so on. Symbolic execution engines assist …

Software comprehension is becoming increasingly time-consuming due to the continual
growth in the size of codebases. Consequently, it is becoming more critical to speed up the …

A modern binary executable is a composition of various networks. Control flow graphs are
commonly used to represent an executable program in labeled datasets used for …

Due to the lack of appropriate theory to accurately characterize vulnerabilities, the current
static detection technologies have two key challenges, ie, limited applicability, and the …

Static source code analysis techniques are gaining relevance in automated assessment of
programming assignments as they can provide less rigorous evaluation and more …

Relationships and connections between entities are typically represented by graphs, a
fundamental data structure in computer science. A graph illustrates the control flow among …

Researchers explored the cognitive process of students by analyzing their eye-tracking data
in some specified computer programming tasks. Although there are some quantified …

Software testing is an activity that will aim at evaluating an attribute or capability of system
and determine that whether it meets required expectations. Test cases can be designed at …