@article{MTMT:3389262, title = {Compiler Front End Fusion. Undo Desugaring in Language Processing Tools A. Poor}, url = {https://m2.mtmt.hu/api/publication/3389262}, author = {Poór, Artúr and Kozsik, Tamás and Tóth, Melinda and Bozó, István}, doi = {10.24193/subbi.2018.2.01}, journal-iso = {STUD UNIV BABES-BOLYAI SER INFO}, journal = {STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA}, volume = {63}, unique-id = {3389262}, issn = {1224-869X}, year = {2018}, eissn = {2065-9601}, pages = {5-20}, orcid-numbers = {Kozsik, Tamás/0000-0003-4484-9172; Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688} } @article{MTMT:3389340, title = {AN EFFICIENT GRAPH VISUALISATION FRAMEWORK FOR REFACTORERL}, url = {https://m2.mtmt.hu/api/publication/3389340}, author = {Mátyás, Komáromi and Bozó, István and Tóth, Melinda}, doi = {10.24193/subbi.2018.2.02}, journal-iso = {STUD UNIV BABES-BOLYAI SER INFO}, journal = {STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA}, volume = {63}, unique-id = {3389340}, issn = {1224-869X}, year = {2018}, eissn = {2065-9601}, pages = {21-36}, orcid-numbers = {Bozó, István/0000-0001-5145-9688; Tóth, Melinda/0000-0001-6300-7945} } @inproceedings{MTMT:26124683, title = {Analysing and visualising Erlang behaviours}, url = {https://m2.mtmt.hu/api/publication/26124683}, author = {Bozó, István and Tóth, Melinda}, booktitle = {International Conference of Numerical Analysis and Applied Mathematics}, unique-id = {26124683}, year = {2016}, pages = {240004} } @article{MTMT:3317207, title = {Analysing the hierarchical structure of Erlang applications}, url = {https://m2.mtmt.hu/api/publication/3317207}, author = {Bozó, István and Bence, János Szabó and Tóth, Melinda}, journal-iso = {CEUR WORKSHOP PROC}, journal = {CEUR WORKSHOP PROCEEDINGS}, volume = {2046}, unique-id = {3317207}, year = {2016}, eissn = {1613-0073}, pages = {42-55}, orcid-numbers = {Bozó, István/0000-0001-5145-9688; Tóth, Melinda/0000-0001-6300-7945} } @article{MTMT:3317214, title = {Transforming Erlang finite state machines}, url = {https://m2.mtmt.hu/api/publication/3317214}, author = {Lukács, Dániel and Tóth, Melinda and Bozó, István}, journal-iso = {CEUR WORKSHOP PROC}, journal = {CEUR WORKSHOP PROCEEDINGS}, volume = {2046}, unique-id = {3317214}, year = {2016}, eissn = {1613-0073}, pages = {197-218}, orcid-numbers = {Lukács, Dániel/0000-0001-9738-1134; Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688} } @article{MTMT:2906560, title = {Introducing Support for Erlang into SSQSA framework}, url = {https://m2.mtmt.hu/api/publication/2906560}, author = {Tóth, Melinda and Attila, Páter-Részeg and Gordana, Rakic}, doi = {10.1063/1.4912565}, journal-iso = {AIP CONF PROC}, journal = {AIP CONFERENCE PROCEEDINGS}, volume = {1648}, unique-id = {2906560}, issn = {0094-243X}, keywords = {Static analysis; Erlang; semantic graph; functional programming language; enriched concrete syntax tree}, year = {2015}, eissn = {1551-7616}, orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945} } @article{MTMT:2760340, title = {Erlang-Like Dynamic Typing in C++}, url = {https://m2.mtmt.hu/api/publication/2760340}, author = {András, Németh and Tóth, Melinda}, journal-iso = {STUD UNIV BABES-BOLYAI SER INFO}, journal = {STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA}, volume = {59}, unique-id = {2760340}, issn = {1224-869X}, year = {2014}, eissn = {2065-9601}, pages = {185-200}, orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945} } @inproceedings{MTMT:2760435, title = {Erlang folyamatok és a köztük lévő kapcsolatok felderítése}, url = {https://m2.mtmt.hu/api/publication/2760435}, author = {Bozó, István and Tóth, Melinda}, booktitle = {Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye}, unique-id = {2760435}, year = {2014}, pages = {79-92}, orcid-numbers = {Bozó, István/0000-0001-5145-9688; Tóth, Melinda/0000-0001-6300-7945} } @article{MTMT:26124676, title = {Detecting and Visualising Process Relationships in Erlang}, url = {https://m2.mtmt.hu/api/publication/26124676}, author = {Tóth, Melinda and Bozó, István}, journal-iso = {PROC COMPUTER SCI}, journal = {PROCEDIA COMPUTER SCIENCE}, volume = {29}, unique-id = {26124676}, issn = {1877-0509}, year = {2014}, pages = {1525-1534} } @article{MTMT:2703474, title = {Reduction of Regression Tests for Erlang Based on Impact Analysis}, url = {https://m2.mtmt.hu/api/publication/2703474}, author = {Horváth, Zoltán and Bozó, István and Tóth, Melinda}, journal-iso = {STUD UNIV BABES-BOLYAI SER INFO}, journal = {STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA}, volume = {59}, unique-id = {2703474}, issn = {1224-869X}, year = {2014}, eissn = {2065-9601}, pages = {31-46}, orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681; Bozó, István/0000-0001-5145-9688; Tóth, Melinda/0000-0001-6300-7945} } @article{MTMT:2193997, title = {Static analysis of function calls in Erlang. Refining the static function call graph with dynamic call information by using data-flow analysis}, url = {https://m2.mtmt.hu/api/publication/2193997}, author = {Horpácsi, Dániel and Horpácsiné Kőszegi, Judit}, doi = {10.5277/e-Inf130107}, journal-iso = {E-INFO: SOFTWARE ENG J}, journal = {E-INFORMATICA: SOFTWARE ENGINEERING JOURNAL}, volume = {7}, unique-id = {2193997}, issn = {1897-7979}, abstract = {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 analysers commonly apply semantic function analysis, which derives the static call graph of the program, based on its source code. Function calls however may be dynamic and complex, making it difficult to statically identify the callee. Dynamic calls are determined just at run-time, static analysis therefore cannot be expected to fully identify every call. Nevertheless, by utilising the results of a properly performed data-flow analysis as well as taking ambiguous references into account, numerous dynamic calls are discoverable and representable. We consider cases where the identifiers of the callee are statically determined, but they flow into the call expression from a different program point, and also, we manage to handle function calls whose identifiers are not fully identifiable at compile-time. By utilising the improved reference analysis, we extend the static call graph with various information about dynamic function calls. We investigate such a function call analysis in the programming language Erlang.}, year = {2013}, eissn = {2084-4840}, pages = {65-76}, orcid-numbers = {Horpácsi, Dániel/0000-0003-0261-0091; Horpácsiné Kőszegi, Judit/0000-0003-1915-4176} } @mastersthesis{MTMT:26135521, title = {Transformations of Erlang programs based on complexity metrics}, url = {https://m2.mtmt.hu/api/publication/26135521}, author = {Király, Roland}, unique-id = {26135521}, year = {2013} } @article{MTMT:1983933, title = {Improving quality of software analyser and transformer tools using specification based testing}, url = {https://m2.mtmt.hu/api/publication/1983933}, author = {Tejfel, Máté and Tóth, Melinda and Bozó, István and Horpácsi, Dániel and Horváth, Zoltán}, journal-iso = {ANN UNIV SCI BP R EÖTVÖS NOM SECT COMPUT}, journal = {ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA}, volume = {37}, unique-id = {1983933}, issn = {0138-9491}, year = {2012}, pages = {355-368}, orcid-numbers = {Tejfel, Máté/0000-0001-8982-1398; Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688; Horpácsi, Dániel/0000-0003-0261-0091; Horváth, Zoltán/0000-0001-9213-2681} } @inproceedings{MTMT:3083583, title = {Selecting Erlang test cases using impact analysis}, url = {https://m2.mtmt.hu/api/publication/3083583}, author = {Bozó, István and Tóth, Melinda}, booktitle = {International Conference on Numerical Analysis and Applied Mathematics}, doi = {10.1063/1.3636854}, unique-id = {3083583}, abstract = {Refactoring is a commonly used technology in the software development and maintenance process. However refactorings preserve the original behaviour of the system, developers want to be convinced about that, thus they retest the software after some modifications. Software testing is said to be the most expensive part of the lifecycle of software systems. Therefore our research focuses on selecting test cases affected by refactorings and have to be retested after the transformation. We describe the used mechanism in case of a dynamically typed functional programming language, Erlang. © 2011 American Institute of Physics.}, keywords = {Program slicing; Static analysis; Erlang; test case selection}, year = {2011}, pages = {802-805}, orcid-numbers = {Bozó, István/0000-0001-5145-9688; Tóth, Melinda/0000-0001-6300-7945} } @article{MTMT:1983924, title = {Using impact analysis based knowledge for validating refactoring steps}, url = {https://m2.mtmt.hu/api/publication/1983924}, author = {Bozó, István and Tóth, Melinda and Tejfel, Máté and Horpácsi, Dániel and Kitlei, Róbert and Horpácsiné Kőszegi, Judit and Horváth, Zoltán}, journal-iso = {STUD UNIV BABES-BOLYAI SER INFO}, journal = {STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA}, volume = {56}, unique-id = {1983924}, issn = {1224-869X}, year = {2011}, eissn = {2065-9601}, pages = {57-64}, orcid-numbers = {Bozó, István/0000-0001-5145-9688; Tóth, Melinda/0000-0001-6300-7945; Tejfel, Máté/0000-0001-8982-1398; Horpácsi, Dániel/0000-0003-0261-0091; Kitlei, Róbert/0000-0001-8534-8177; Horpácsiné Kőszegi, Judit/0000-0003-1915-4176; Horváth, Zoltán/0000-0001-9213-2681} } @inproceedings{MTMT:26124697, title = {Analysing Erlang BEAM files}, url = {https://m2.mtmt.hu/api/publication/26124697}, author = {Karácsonyi, Mátyás and Tóth, Melinda}, booktitle = {Proceedings of the Eleventh International Conference on Informatics}, publisher = {TU Košice}, unique-id = {26124697}, year = {2011}, pages = {90-95} } @article{MTMT:2471984, title = {4D Ariadne the Static Debugger of Java Programs}, url = {https://m2.mtmt.hu/api/publication/2471984}, author = {Szűgyi, Zalán and Forgács, István and Porkoláb, Zoltán}, doi = {10.3311/pp.ee.2011-3-4.05}, journal-iso = {PERIOD POLYTECH ELECTR ENG}, journal = {PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING}, volume = {55}, unique-id = {2471984}, issn = {0324-6000}, abstract = {Development environments support the programmer in numerous ways from syntax highlighting to different refactoring and code generating methods. However, there are cases where these tools are limited or not usable, such as getting familiar with large and complex source codes written by a third person; finding the complexities of huge projects or finding semantic errors. In this paper we present our static analyzer tool, called 4D Ariadne, which concentrates on these problems. 4D Ariadne is a static debugger of Object Oriented applications written in Java programming language. It calculates data dependencies of objects being able to compute them both forward and backward. As 4D Ariadne provides only the direct influences to the user, it can be considered as an alternative of traditional debuggers, without executing the code. 4D Ariadne also provides dynamic call graphs representing polymorphic properties of objects.}, year = {2011}, eissn = {1587-3781}, pages = {127-132}, orcid-numbers = {Porkoláb, Zoltán/0000-0001-6819-0224} } @article{MTMT:3083582, title = {Building dependency graph for slicing erlang programs}, url = {https://m2.mtmt.hu/api/publication/3083582}, author = {Tóth, Melinda and Bozó, István}, doi = {10.3311/pp.ee.2011-3-4.06}, journal-iso = {PERIOD POLYTECH ELECTR ENG}, journal = {PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING}, volume = {55}, unique-id = {3083582}, issn = {0324-6000}, abstract = {Program slicing is a well-known technique that utilizes dependency graphs and static program analysis. Our goal is to perform impact analysis of Erlang programs based on the resulted program slices, that is we want to measure the impact of any change made on the source code: especially we want to select a subset of test cases which must be rerun after the modification. However impact analyzer tools exist for object oriented languages, the used dependency graphs heavily depend on the syntax and semantics of the used programming language, thus we introduce dependency graphs for a dynamically typed functional programming language, Erlang. © Periodica Polytechnica 2011.}, keywords = {Semantics; Program slicing; Impact analysis; Program processors; Test case; Software testing; Source codes; Functional programming; Erlang programs; Dependency graphs; Dependency graph; Program slice; Static program analysis; Erlang program}, year = {2011}, eissn = {1587-3781}, pages = {133-138}, orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688} } @CONFERENCE{MTMT:2760423, title = {Static analysis and refactoring towards Erlang multicore programming}, url = {https://m2.mtmt.hu/api/publication/2760423}, author = {Tóth, Melinda and Bozó, István and Horváth, Zoltán and Erdődi, Attila}, booktitle = {Pre-Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES'11,}, unique-id = {2760423}, year = {2011}, pages = {43-50}, orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688; Horváth, Zoltán/0000-0001-9213-2681} } @article{MTMT:26124641, title = {Static Analysis Based Support for Program Comprehension in Erlang}, url = {https://m2.mtmt.hu/api/publication/26124641}, author = {Tóth, Melinda and Bozó, István and Koszegi, Judit and Horváth, Zoltán}, journal-iso = {ACTA ELECTROTECH INF}, journal = {ACTA ELECTROTECHNICA ET INFORMATICA}, volume = {11}, unique-id = {26124641}, issn = {1335-8243}, year = {2011}, eissn = {1338-3957}, pages = {3-10} } @inproceedings{MTMT:2760514, title = {Erlang Semantic Query Language}, url = {https://m2.mtmt.hu/api/publication/2760514}, author = {Hajós, Lilla and Tóth, Melinda and Lövei, László}, booktitle = {Proceedings of the 8th International Conference on Applied Informatics, ICAI 2010}, unique-id = {2760514}, year = {2010}, pages = {165-172}, orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945} } @inproceedings{MTMT:1949027, title = {Analysis of preprocessor constructs in Erlang}, url = {https://m2.mtmt.hu/api/publication/1949027}, author = {Kitlei, Róbert and Bozó, István and Kozsik, Tamás and Tejfel, Máté and Tóth, Melinda}, booktitle = {Proceedings of the 9th ACM SIGPLAN workshop on Erlang}, doi = {10.1145/1863509.1863517}, unique-id = {1949027}, abstract = {Program analysis and transformation tools work on source code, which - as in the case of Erlang - may contain macros and other preprocessor directives. Such preprocessor constructs have to be treated in an utterly different way than lexical and syntactical constructs. This paper presents an approach to treat preprocessor constructs in a non-invasive way that is reasonably efficient and supports code transformations and analyses in an Erlang specific framework. Copyright © 2010 ACM.}, keywords = {MACRO; Cosine transforms; program analysis; Program processors; Preprocessors; Macros; Source codes; Transformation tools; Refactorings; Non-invasive way; Code transformation; Refactoring; Preprocessor; Erlang}, year = {2010}, pages = {45-56}, orcid-numbers = {Kitlei, Róbert/0000-0001-8534-8177; Bozó, István/0000-0001-5145-9688; Kozsik, Tamás/0000-0003-4484-9172; Tejfel, Máté/0000-0001-8982-1398; Tóth, Melinda/0000-0001-6300-7945} } @article{MTMT:2395306, title = {Impact analysis of Erlang programs using behaviour dependency graphs}, url = {https://m2.mtmt.hu/api/publication/2395306}, author = {Tóth, Melinda and Bozó, István and Horváth, Zoltán and Lövei, László and Tejfel, Máté and Kozsik, Tamás}, doi = {10.1007/978-3-642-17685-2_11}, journal-iso = {LNCS}, journal = {LECTURE NOTES IN COMPUTER SCIENCE}, volume = {6299}, unique-id = {2395306}, issn = {0302-9743}, abstract = {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 expensive part of the software development cycle. This paper focuses on programs written in a dynamic functional programming language Erlang, and discusses a mechanism that could select those test cases, which are affected by a change, i.e. altering the program on some point may have impact on the result/behaviour of those test cases. In the result of that analysis it is possible to reduce the number of necessary test cases, and after modifying the source code, just a subset of the test cases should be retested. The discussed approach introduces a behaviour dependency graph for Erlang programs to represent the dependencies in the source code. The impact of a change can be calculated by traversing the graph. © 2010 Springer-Verlag.}, keywords = {Testing; Software design; Impact analysis; Program processors; Test case; Source codes; Functional programming; Software products; Software development cycles; Regression tests; Functional programming languages; Expensive parts; Erlang programs; Dependency graphs}, year = {2010}, eissn = {1611-3349}, pages = {372-390}, orcid-numbers = {Tóth, Melinda/0000-0001-6300-7945; Bozó, István/0000-0001-5145-9688; Horváth, Zoltán/0000-0001-9213-2681; Tejfel, Máté/0000-0001-8982-1398; Kozsik, Tamás/0000-0003-4484-9172} }