Experiences in Adapting a Source Code-Based Quality Assessment Technology (2009)
János Pántos, Árpád Beszédes, Pál Gyenizse, Tibor Gyimóthy
Testing-based software quality assurance often does not provide an appropriate level of efficiency and reliability. To aid this problem, different kinds of static verification techniques can be...
Combining Preprocessor Slicing with C/C++ Language Slicing (2009)
László Vidács, Judit Jász, Árpád Beszédes, Tibor Gyimóthy
Slicing C programs has been one of the most popular ways for the implementation of slicing algorithms; out of the very few practical implementations that exist many deal with this programming...
Static Execute After/Before as a Replacement of Traditional Software Dependencies (2009)
Judit Jász, Árpád Beszédes, Tibor Gyimóthy, Václav Rajlich
The paper explores Static Execute After (SEA) dependencies in the program and their dual Static Execute Before (SEB) dependencies. It empirically compares the SEA/SEB dependencies with the...
Manually Annotated Hungarian Corpus (2009)
Zoltán Alexin, Tibor Gyimóthy, Csaba Hatvani, László Tihanyi, János Csirik, Károly Bibok, ...
Current paper presents the results of a two-year project during which a consortium of the University of Szeged and the MorphoLogic Ltd. Budapest developed a morpho-syntactically parsed and annotated...
General Flow-Sensitive Pointer Analysis and Call Graph (2008)
Endre Horváth, István Forgács, Ákos Kiss, Judit Jász, Tibor Gyimóthy
Abstract. Pointer analysis is a well known, widely used and very important static program analyzing technique. After having studied the literature in this field of research we found that most of the...
Compacting XML Documents (2008)
Miklós Kálmán, Ferenc Havasi, Tibor Gyimóthy
Abstract. Nowadays one of the most common formats for storing information is XML. The size of XML documents can be rather large, and they may contain redundant attributes which can be calculated from...
The Dynamic Function Coupling Metric and Its Use in Software Evolution (2008)
Árpád Beszédes, Tamás Gergely, Szabolcs Faragó, Tibor Gyimóthy, Ferenc Fischer
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is to apply dynamic...
Verifying the concept of union slices on Java programs (2008)
Attila Szegedi, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Gabriella Tóth
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to reduce the...
Interactive Multiple Predicate Revision based on Unfolding Transformation (2007)
Zoltán Alexin, Tibor Gyimóthy, Henrik Boström
. The algorithm SPECTRE specializes logic programs with respect to positive and negative examples by applying the transformation rule unfolding together with clause removal. The method IMPUT...
Computation of Static Execute After relation with applications to software maintenance (2007)
Árpád Beszédes, Tamás Gergely, Judit Jász, Gabriella Tóth, Tibor Gyimóthy, Václav Rajlich
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may approximate static slicing...
Graph-less dynamic dependence-based dynamic slicing algorithms (2006)
Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy
Using Dynamic Dependence Graphs is a well understood method for computing dynamic program slices. However, in its basic form, the DDG is inappropriate for practical implementation, so several...
Empirical validation of object-oriented metrics on open source software for fault prediction (2005)
Tibor Gyimóthy, Rudolf Ferenc, István Siket
Abstract—Open source software systems are becoming increasingly important these days. Many companies are investing in open source projects and lots of them are also using such software in their own...
Columbus: A reverse engineering approach (2005)
Árpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy
In this paper we present our approach to several common problems in reverse engineering that are built around the Columbus framework. Columbus defines several fundamental building blocks for the use...
Extracting facts from open source software (2004)
Rudolf Ferenc, István Siket, Tibor Gyimóthy
Open source software systems are becoming increasingly important these days. Many companies are investing in open source projects and lots of them are also using such software in their own work. But...
Fact Extraction and Code Auditing with Columbus and SourceAudit (2004)
Rudolf Ferenc, Árpád Beszédes, Tibor Gyimóthy
Abstract. Automatic fact extraction from software systems is the fundamental building block in the process of understanding the relationships among a system’s elements. We demonstrate the reverse...
Formalizing executable dynamic and forward slicing (2004)
Dave Binkley, Sebastian Danicic, Tibor Gyimóthy, Kiss Lahcen Ouarbya
This paper uses a projection theory of slicing to formalize the definition of executable dynamic and forward program slicing. Previous definitions, when given, have been operational, and previous...
Fact Extraction and Code Auditing with Columbus and SourceAudit (2004)
Rudolf Ferenc, Árpád Beszédes, Tibor Gyimóthy
Abstract. Automatic fact extraction from software systems is the fundamental building block in the process of understanding the relationships among a system’s elements. We demonstrate the reverse...
The Szeged Corpus: A POS tagged and syntactically annotated Hungarian natural language corpus (2004)
Dóra Csendes, Tibor Gyimóthy, János Csirik
The Szeged Corpus is a manually annotated natural language corpus currently comprising 1.2 million word entries, 145 thousand different word forms, and an additional 225 thousand punctuation marks....
Extracting Facts with Columbus from C++ Code (2004)
Rudolf Ferenc Arp, Rudolf Ferenc, Árpád Beszédes, Tibor Gyimóthy
Fact extraction from software systems is the fundamental building block in the process of understanding the relationships among the system's elements. It is evident that in real life situations...
Interprocedural static slicing of binary executables (2003)
Ákos Kiss, Judit Jász, Gábor Lehotai, Tibor Gyimóthy
Although the slicing of programs written in a high-level language has been widely studied in the literature, very little work has been published on the slicing of binary executable programs. The lack...
Optimizing for space: Measurements and possibilities for improvement (2003)
Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy, Gábor Lóki, László Vidács
GCC’s optimization for space seems to have been often neglected, in favor of performance tuning. With this work we aim at determining the weakpoints of GCC concerning its optimization capability...
Columbus – reverse engineering tool and schema for C (2002)
Rudolf Ferenc, Árpád Beszédes, Mikko Tarkiainen, Tibor Gyimóthy
One of the most critical issues in large-scale software development and maintenance is the rapidly growing size and complexity of software systems. As a result of this rapid growth there is a need to...
Union Slices for Program Maintenance (2002)
Arpad Beszedes Csaba, Árpád Beszédes, Csaba Faragó, Zsolt Mihály Szabó, János Csirik, Tibor Gyimóthy
static slices are specifically proposed for software maintenance and program understanding. Unfortunately, in many cases static slices are overly conservative and therefore too large to supply useful...
A short introduction to columbus/can (2001)
Rudolf Ferenc, Árpád Beszédes, Ferenc Magyar, Tibor Gyimóthy
Abstract: In this paper we shortly present a reverse engineering framework called Columbus that is able to analyze large C/C++ projects. Columbus supports project handling, data...
Dynamic slicing method for maintenance of large C programs (2001)
Árpád Beszédes, Tamás Gergely, Zsolt Mihály Szabó, János Csirik, Tibor Gyimóthy
Different program slicing methods are used for maintenance, reverse engineering, testing and debugging. Slicing algorithms can be classified as static slicing and dynamic slicing methods. In several...
András Kocsor, László Tóth, András Kuba, Kornél Kovács, Márk Jelasity, Tibor Gyimóthy, ...
. This paper examines the applicability of some learning techniques for speech recognition, more precisely, for the classi cation of phonemes represented by a particular segment model. The methods...
András Kocsor, László Tóth, András Kuba, Kornél Kovács, Tibor Gyimóthy, János Csirik
Abstract. This paper examines the applicability of some learning techniques for speech recognition, more precisely, for the classification of phonemes represented by a particular segment model. The...
An Efficient Relevant Slicing Method for Debugging (1999)
Tibor Gyimóthy, Árpád Beszédes, István Forgács
Dynamic program slicing methods are widely used for debugging, because many statements can be ignored in the process of localizing a bug. A dynamic program slice wrt a variable contains only those...
Application of Different Learning Methods to Hungarian Part-of-speech Tagging (1999)
Tamás Horváth, Zoltán Alexin, Tibor Gyimóthy, Stefan Wrobel
. From the point of view of computational linguistics, Hungarian is a difficult language due to its complex grammar and rich morphology. This means that even a common task such as part-of-speech...
Application of Inductive Logic Programming for Learning ECG Waveforms (1997)
Gabriella Kokai, Zoltán Alexin, Tibor Gyimóthy
. In this paper a learning system is presented which integrates an ECG waveform classifier (called PECG) with an interactive learner (called IMPUT). The PECG system is based on an attribute grammar...
Classifying ECG Waveforms in Prolog (1996)
Gabriella Kokai, Zoltán Alexin, Tibor Gyimóthy
. The basic idea of the presented system (PECG) is to integrate an ECG classifier program (implemented in Prolog) with the IDT algorithmic debugger module and a graphic viewer. If the ECG classifier...
Analyzing and Learning ECG Waveforms (1996)
Gabriella Kokai, Zoltán Alexin, Tibor Gyimóthy
. In this paper we present a system which integrates an ECG waveform classifier (called PECG) with an interactive learner (called IMPUT). The PECG system is based on an attribute grammar...
Learning Semantic Functions of Attribute Grammars (1996)
Tibor Gyimóthy, Tamás Horváth, Otka T
. Attribute grammars can be considered as an extension of contextfree grammars, where the attributes are associated with grammar symbols, and the semantic rules define the values of the attributes....
An Efficient Interprocedural Slicing Method for Large Programs (1996)
Istvan Forgács, Tibor Gyimóthy
In this paper a method is introduced for the interprocedural static slicing of large programs. The most time-consuming part of the interprocedural slicing methods is the computation of transitive...
Static Slicing of JAVA Programs (1996)
Gyula Kovács, Ferenc Magyar, Tibor Gyimóthy, Ferenc Magyar
This paper devotes itself to the problem of interprocedural static slicing of JAVA programs. We present a method which focuses on special JAVA features, which can improve the efficiency of a general...