Toward recursion aware complexity metrics

G Rakić, M Tóth, Z Budimac - Information and Software Technology, 2020 - Elsevier
Context: Software developers spend a significant amount of time on reading,
comprehending, and debugging of source code. Numerous software metrics can give us …

Impact analysis of Erlang programs using behaviour dependency graphs

M Tóth, I Bozó, Z Horváth, L Lövei, M Tejfel… - … School: Third Summer …, 2010 - Springer
During the lifetime of a software product certain changes could be performed on its source
code. After those changes a regression test should be performed, which is the most …

Free the Conqueror! Refactoring divide-and-conquer functions

T Kozsik, M Tóth, I Bozó - Future Generation Computer Systems, 2018 - Elsevier
Divide-and-conquer algorithms appear in the solution of many computationally intensive
problems, and are good candidates for parallelization. A divide-and-conquer computation …

Identifying Client-Server Behaviours in Legacy Erlang Systems.

Z Erdei, M Tóth, I Bozó - Acta Cybernetica, 2024 - search.ebscohost.com
In Erlang, behaviours are special forms of design patterns. There are many benefits to using
behaviours. For example, behaviours can help abstract away the most common parts when …

[PDF][PDF] Static Analysis Based Support for Program Comprehension in Erlang

M Tóth, I Bozó, J Koszegi, Z Horváth - Acta Electrotechnica et Informatica, 2011 - Citeseer
Program comprehension is important process in software maintenance, considering the
lifetime of an industrial software. The first task for a developer is to understand the structure …

Supporting Secure Coding for Erlang

M Tóth, I Bozó - Proceedings of the 39th ACM/SIGAPP Symposium on …, 2024 - dl.acm.org
Software developer/operator companies have to face growing cyber threats. Secure coding
is a development process resulting in software products that resist cyber-attacks. Although …

An efficient graph visualisation framework for refactorerl

M Komáromi, B István, T Melinda - Studia Universitatis Babeș …, 2018 - 193.231.18.162
Graph visualisation is a well-known and researched field of graphical informatics. Several
good algorithms were developed and reviewed by our days. However, most of the graph …

Safe Process State Upgrades Through Static Analysis

D Ferenczi, M Tóth - 2024 IEEE 18th International Symposium …, 2024 - ieeexplore.ieee.org
Hot code loading allows changing the server code without any noticeable effects for clients.
It is an integral part of the Erlang language and the BEAM runtime. Handling code change …

Transforming Erlang Server Applications

Z Erdei, I Bozó, M Tóth - 2024 IEEE 3rd Conference on …, 2024 - ieeexplore.ieee.org
In Erlang, behaviours serve as specialized design patterns, offering numerous advantages.
For example, they allow us to abstract common components when addressing similar …

Detecting and visualising process relationships in Erlang

M Tóth, I Bozó - Procedia Computer Science, 2014 - Elsevier
Static software analyser tools can help in program comprehension by detecting relations
among program parts. Detecting relations among the concurrent program parts, eg relations …