Static analysis of complex software systems implemented in Erlang

M Tóth, I Bozó - Central European Functional Programming School, 2011 - Springer
Static software analyser tools use different levels of intermediate source code
representations that depend on the syntax and semantics of the language to be analysed …

Extending erlang by utilising refactorerl

D Horpácsi - Proceedings of the twelfth ACM SIGPLAN workshop on …, 2013 - dl.acm.org
In this paper, we present the idea of utilising a refactoring tool for implementing extensions
to a programming language. We elaborate the correspondence between the main …

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 …

Static analysis of function calls in Erlang. Refining the static function call graph with dynamic call information by using data-flow analysis

D Horpácsi, J Koszegi - e-Informatica Software Engineering …, 2013 - yadda.icm.edu.pl
Functions and their relations can affect numerous properties and metrics of a functional
program. To identify and represent the functions and their calling connections, software …

Selecting Erlang test cases using impact analysis

I Bozó, M Tóth - AIP Conference Proceedings, 2011 - pubs.aip.org
Refactoring is a commonly used technology in the software development and maintenance
process. However refactorings preserve the original behaviour of the system, developers …

[PDF][PDF] Transforming Erlang finite state machines

D Lukács, M Tóth, I Bozó - CEUR Workshop Proceedings, 2018 - ceur-ws.org
Abstract Model driven development approaches help to alleviate the abstraction gap
between high-level design and actual implementation, to aid design, development and …

[PDF][PDF] Reduction of regression tests for Erlang based on impact analysis

IBM Tóth, Z Horváth - 2013 - cs.ru.nl
Refactoring is a widely used technique in the software development and maintenance
process. However refactorings should preserve the original behaviour of the system …

[PDF][PDF] Improving quality of software analyser and transformer tools using specification based testing

M Tejfel, M Tóth, I Bozó, D Horpácsi… - 9th Joint Conference on …, 2012 - ac.inf.elte.hu
Reengineering tools, such as code analysers and transformers can give useful assistance
during the software development process. On the other hand, the quality of these tools is …

[PDF][PDF] Using impact analysis based knowledge for validating refactoring steps

I Bozó, M Tóth, M Tejfel, D Horpácsi, R Kitlei… - UNIVERSITATIS …, 2011 - academia.edu
In the life cycle of a large software product the source code often has to be changed to fit to
new requirements, which can be aided by refactorings. In order to minimise the possibility of …

[PDF][PDF] GVIEW: VISUALISING SOFTWARE DEPENDENCIES IN ORDER TO SUPPORT CODE COMPREHENSION

I Bozó, M Komáromi, M Tóth - ac.inf.elte.hu
It is always a great challenge to maintain industrial-scale software. It requires a full
understanding and awareness of the different components and their connections to avoid …