Tamás Gergely

According to our database, Tamás Gergely authored at least 56 papers between 1975 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

ISTQB-based Software Testing Education: Advantages and Challenges.

Attila Szatmári, Tamás Gergely, Árpád Beszédes

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

A Case Against Coverage-Based Program Spectra.

Péter Attila Soha, Tamás Gergely, Ferenc Horváth, Béla Vancsics, Árpád Beszédes

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

Systematically Generated Formulas for Spectrum-Based Fault Localization.

Qusay Idrees Sarhan, Tamás Gergely, Árpád Beszédes

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

New Ranking Formulas to Improve Spectrum Based Fault Localization Via Systematic Search.

Qusay Idrees Sarhan, Tamás Gergely, Árpád Beszédes

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021

Automated Recovery and Visualization of Test-to-Code Traceability (TCT) Links: An Evaluation.

Nadera Aljawabrah, Tamás Gergely, Sanjay Misra, Luis Fernández Sanz

IEEE Access, 2021

2020

Simulating the Effect of Test Flakiness on Fault Localization Effectiveness.

Béla Vancsics, Tamás Gergely, Árpád Beszédes

Proceedings of the IEEE Workshop on Validation, Analysis and Evolution of Software Tests, 2020

Visualizing Multilevel Test-to-Code Relations.

Nadera Aljawabrah, Abdallah Qusef, Tamás Gergely, Adhyatmananda Pati

Proceedings of the Information and Communication Technology and Applications, 2020

2019

Code coverage differences of Java bytecode and source code instrumentation tools.

Ferenc Horváth, Tamás Gergely, Árpád Beszédes, Dávid Tengeri, Gergö Balogh, Tibor Gyimóthy

Softw. Qual. J., 2019

Differences between a static and a dynamic test-to-code traceability recovery method.

Tamás Gergely, Gergö Balogh, Ferenc Horváth, Béla Vancsics, Árpád Beszédes, Tibor Gyimóthy

Softw. Qual. J., 2019

Mathematical Foundation of Cognitive Computing Based Artificial Intelligence.

Tamás Gergely, László Úry

Proceedings of the Artificial Intelligence, 2019

Understanding Test-to-Code Traceability Links: The Need for a Better Visualizing Model.

Nadera Aljawabrah, Tamás Gergely, Mohammad Kharabsheh

Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019

2018

Analysis of Static and Dynamic Test-to-code Traceability Information.

Tamás Gergely, Gergö Balogh, Ferenc Horváth, Béla Vancsics, Árpád Beszédes, Tibor Gyimóthy

Acta Cybern., 2018

2017

Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER).

Alessandra Bagnato, Konstantinos Barmpis, Nik Bessis, Luis Adrián Cabrera-Diego, Juri Di Rocco, Davide Di Ruscio, Tamás Gergely, Scott Hansen, Dimitris S. Kolovos, Philippe Krief, Ioannis Korkontzelos, Stéphane Laurière, Jose Manrique Lopez de la Fuente, Pedro Maló, Richard F. Paige, Diomidis Spinellis, Cedric Thomas, Jurgen J. Vinju

Proceedings of the Software Technologies: Applications and Foundations, 2017

Semantics driven intelligent front-end.

Tamás Gergely, Edit Halmay, Miklós Szöts, George Suciu, Romulus Cheveresan

Proceedings of the International Conference on Speech Technology and Human-Computer Dialogue, 2017

2016

Negative Effects of Bytecode Instrumentation on Java Source Code Coverage.

Dávid Tengeri, Ferenc Horváth, Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Using the City Metaphor for Visualizing Test-Related Metrics.

Gergö Balogh, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy

Proceedings of the First International Workshop on Validating Software Tests, 2016

Are My Unit Tests in the Right Package?

Gergö Balogh, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

2015

Empirical investigation of SEA-based dependence cluster properties.

Árpád Beszédes, Lajos Schrettner, Béla Csaba, Tamás Gergely, Judit Jász, Tibor Gyimóthy

Sci. Comput. Program., 2015

Structural Information Aided Automated Test Method for Magic 4GL.

Ferenc Horváth, Tamás Gergely

Acta Cybern., 2015

Test suite evaluation using code coverage based metrics.

Ferenc Horváth, Béla Vancsics, László Vidács, Árpád Beszédes, Dávid Tengeri, Tamás Gergely, Tibor Gyimóthy

Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15), 2015

Beyond code coverage - An approach for test suite assessment and improvement.

Dávid Tengeri, Árpád Beszédes, Tamás Gergely, László Vidács, David Havas, Tibor Gyimóthy

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Impact analysis in the presence of dependence clusters using Static Execute After in WebKit.

Lajos Schrettner, Judit Jász, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy

J. Softw. Evol. Process., 2014

Code Coverage Measurement Framework for Android Devices.

Ferenc Horváth, Szabolcs Bognár, Tamás Gergely, Róbert Rácz, Árpád Beszédes, Vladimir Marinkovic

Acta Cybern., 2014

2012

Code coverage-based regression test selection and prioritization in WebKit.

Árpád Beszédes, Tamás Gergely, Lajos Schrettner, Judit Jász, Laszlo Lango, Tibor Gyimóthy

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Welcome from the Workshop Chair.

Tamás Gergely

Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011

Exploring New Care Models in Diabetes Management and Therapy with a Wireless Mobile eHealth Platform.

Jesper Thestrup, Tamás Gergely, Peter Beck

Proceedings of the Wireless Mobile Communication and Healthcare, 2011

2010

Programok statikus és dinamikus analízise

Tamás Gergely

PhD thesis, 2010

Effect of test completeness and redundancy measurement on post release failures - An industrial experience report.

Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Milan Imre Gyalai

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Towards a Safe Method for Computing Dependencies in Database-Intensive Systems.

Csaba Nagy, Janos Pantos, Tamás Gergely, Árpád Beszédes

Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

Cognitive Reasoning - A Formal Approach.

Oleg Anshakov, Tamás Gergely

Cognitive Technologies, Springer, ISBN: 978-3-540-43058-2, 2010

2007

Computation of Static Execute After Relation with Applications to Software Maintenance.

Árpád Beszédes, Tamás Gergely, Judit Jász, Gabriella Tóth, Tibor Gyimóthy, Václav Rajlich

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Verifying the Concept of Union Slices on Java Programs.

Attila Szegedi, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Gabriella Tóth

Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

The Dynamic Function Coupling Metric and Its Use in Software Evolution.

Árpád Beszédes, Tamás Gergely, Szabolcs Farago, Tibor Gyimóthy, Ferenc Fischer

Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

2006

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms.

Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy

Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

2004

A computer system for interpreting blood glucose data.

Tibor Deutsch, Tamás Gergely, Vladimir G. Trunov

Comput. Methods Programs Biomed., 2004

2002

Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice Algorithm.

Csaba Faragó, Tamás Gergely

Acta Cybern., 2002

Multi-access Services for the Management of Diabetes Mellitus: The M2DM Project.

Riccardo Bellazzi, Giuliana Bensa, Eulalia Brugués, Ewart R. Carson, Claudio Cobelli, Derek G. Cramp, Giuseppe d'Annunzio, Pasquale De Cata, Alberto de Leiva, Tibor Deutsch, Pietro Fratino, Carmine Gazzaruso, Angel Garcia, Tamás Gergely, Enrique J. Gómez, Fiona E. Harvey, Pietro Ferrari, Christiane Harras Friederich, M. Elena Hernando, Maged N. Kamel Boulos, Cristiana Larizza, Hans Ludekke, Monika Luebker, Alberto Maran, Gianluca Nucci, Fernando Ortiz Garcia, Cristina Pennati, Abdul V. Roudsari, Mercedes Rigla, Karsten Schutte, Mario Stefanelli

Proceedings of the AMIA 2002, 2002

2001

Dynamic Slicing Method for Maintenance of Large C Programs.

Árpád Beszédes, Tamás Gergely, Zsolt Mihály Szabó, János Csirik, Tibor Gyimóthy

Proceedings of the Fifth Conference on Software Maintenance and Reengineering, 2001

1991

First-Order Programming Theories

Tamás Gergely, László Úry

EATCS Monographs on Theoretical Computer Science 24, Springer, ISBN: 978-3-642-58205-9, 1991

1989

Quasi-Equations for Logic Programming.

Tamás Gergely, Zoltán Szabó

Proceedings of the Second Scandinavian Conference on Artificial Intelligence 1989, 1989

1987

Inductive Inference on the Base of Fixed Point Theory.

Tamás Gergely, Zoltán Szabó

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986

Fixed Point Equations as Hypotheses in Inductive Reasoning.

Zoltán Szabó, Tamás Gergely

Proceedings of the Analogical and Inductive Inference, 1986

1985

Natural mathematical texts vs. programs.

Tamás Gergely, Konstantin Vershinin

Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

1984

Cuttable Formulas for Logic Programming.

Tamás Gergely, Miklós Szöts

Proceedings of the 1984 International Symposium on Logic Programming, 1984

1983

Negative Hyper-Resolution for Proving Statements Containing Transitive Relations.

Tamás Gergely, Konstantin Vershinin

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

A Theory of Interactive Programming.

Tamás Gergely, László Úry

Acta Informatica, 1982

A Logical Approach to Simulation (TS-PROLOG).

Ivan Futó, Tamás Gergely

Proceedings of the Adequate Modeling of Systems, 1982

1981

Algebraic representation of language hierarchies.

Tamás Gergely

Acta Cybern., 1981

1980

Nondeterministic programming within the frame of first order classical logic, Part 2.

Tamás Gergely, László Úry

Acta Cybern., 1980

Nondeterministic programming within the frame of first order classical logic, Part 1.

Tamás Gergely, László Úry

Acta Cybern., 1980

Program Behaviour Specification through Explicit Time Consideration.

Tamás Gergely, László Úry

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

Model Theoretic Semantics For Many-Purpose Languages And Language Hierarchies.

Hajnal Andréka, Tamás Gergely, István Németi

Proceedings of the 8th International Conference on Computational Linguistics, 1980

1978

Model theoretical investigation of theorem proving methods.

Tamás Gergely, Konstantin Vershinin

Notre Dame J. Formal Log., 1978

On the incompleteness of proving partial correctness.

Tamás Gergely, Miklós Szöts

Acta Cybern., 1978

1975

Logical foundations for a general theory of systems.

Tamás Gergely, István Németi

Acta Cybern., 1975

On the Role of Mathematical Language Concept in the Theory of Intelligent Systems.

Hajnal Andréka, Tamás Gergely, István Németi

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975