On the Role of Mathematical Language Concept in the Theory of Intelligent Systems. - Hajnal Andréka; Tamás Gergely; István Németi (IJCAI, 1975)

Logical foundations for a general theory of systems. - Tamás Gergely; István Németi (Acta Cybern., 1975)

On the incompleteness of proving partial correctness. - Tamás Gergely; Miklós Szöts (Acta Cybern., 1978)

Model theoretical investigation of theorem proving methods. - Tamás Gergely; Konstantin Vershinin (Notre Dame J. Formal Log., 1978)

Model Theoretic Semantics For Many-Purpose Languages And Language Hierarchies. - Hajnal Andréka; Tamás Gergely; István Németi (COLING, 1980)

Program Behaviour Specification through Explicit Time Consideration. - Tamás Gergely; László Úry (IFIP Congress, 1980)

Nondeterministic programming within the frame of first order classical logic, Part 1. - Tamás Gergely; László Úry (Acta Cybern., 1980)

Nondeterministic programming within the frame of first order classical logic, Part 2. - Tamás Gergely; László Úry (Acta Cybern., 1980)

Algebraic representation of language hierarchies. - Tamás Gergely (Acta Cybern., 1981)

A Logical Approach to Simulation (TS-PROLOG). - Ivan Futó; Tamás Gergely (International Working Conference on Model Realism, 1982)

A Theory of Interactive Programming. - Tamás Gergely; László Úry (Acta Informatica, 1982)

Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. - Tamás Gergely; Konstantin Vershinin (IJCAI, 1983)

Cuttable Formulas for Logic Programming. - Tamás Gergely; Miklós Szöts (SLP, 1984)

Natural mathematical texts vs. programs. - Tamás Gergely; Konstantin Vershinin (Mathematical Methods of Specification and Synthesis of Software Systems, 1985)

Fixed Point Equations as Hypotheses in Inductive Reasoning. - Zoltán Szabó; Tamás Gergely (AII, 1986)

Inductive Inference on the Base of Fixed Point Theory. - Tamás Gergely; Zoltán Szabó (IJCAI, 1987)

Quasi-Equations for Logic Programming. - Tamás Gergely; Zoltán Szabó (SCAI, 1989)

First-Order Programming Theories - Tamás Gergely; László Úry (Springer, 1991)

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 (CSMR, 2001)

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; et al. (AMIA, 2002)

Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice Algorithm. - Csaba Faragó; Tamás Gergely (Acta Cybern., 2002)

A computer system for interpreting blood glucose data. - Tibor Deutsch; Tamás Gergely; Vladimir G. Trunov (Comput. Methods Programs Biomed., 2004)

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms. - Árpád Beszédes; Tamás Gergely; Tibor Gyimóthy (SCAM, 2006)

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 (CSMR, 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 (CSMR, 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 (ICSM, 2007)

Cognitive Reasoning - A Formal Approach. - Oleg Anshakov; Tamás Gergely (Springer, 2010)

Towards a Safe Method for Computing Dependencies in Database-Intensive Systems. - Csaba Nagy 001; Janos Pantos; Tamás Gergely; Árpád Beszédes (CSMR, 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 (ICSM, 2010)

Programok statikus és dinamikus analízise - Tamás Gergely (2010)

Exploring New Care Models in Diabetes Management and Therapy with a Wireless Mobile eHealth Platform. - Jesper Thestrup; Tamás Gergely; Peter Beck (MobiHealth, 2011)

Welcome from the Workshop Chair. - Tamás Gergely (CSMR, 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 (ICSM, 2012)

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)

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)

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 (ICST Workshops, 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 (SPLST, 2015)

Structural Information Aided Automated Test Method for Magic 4GL. - Ferenc Horváth; Tamás Gergely (Acta Cybern., 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)

Are My Unit Tests in the Right Package? - Gergö Balogh; Tamás Gergely; Árpád Beszédes; Tibor Gyimóthy (SCAM, 2016)

Using the City Metaphor for Visualizing Test-Related Metrics. - Gergö Balogh; Tamás Gergely; Árpád Beszédes; Tibor Gyimóthy (VST@SANER, 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 (SANER, 2016)

Semantics driven intelligent front-end. - Tamás Gergely; Edit Halmay; Miklós Szöts; George Suciu; Romulus Cheveresan (SpeD, 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; et al. (STAF Workshops, 2017)

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)

Understanding Test-to-Code Traceability Links: The Need for a Better Visualizing Model. - Nadera Aljawabrah; Tamás Gergely; Mohammad Kharabsheh (ICCSA (4), 2019)

Mathematical Foundation of Cognitive Computing Based Artificial Intelligence. - Tamás Gergely; László Úry (RAAI Summer School, 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)

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)

Visualizing Multilevel Test-to-Code Relations. - Nadera Aljawabrah; Abdallah Qusef; Tamás Gergely; Adhyatmananda Pati (ICTA, 2020)

Simulating the Effect of Test Flakiness on Fault Localization Effectiveness. - Béla Vancsics; Tamás Gergely; Árpád Beszédes (VST@SANER, 2020)

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)

New Ranking Formulas to Improve Spectrum Based Fault Localization Via Systematic Search. - Qusay Idrees Sarhan; Tamás Gergely; Árpád Beszédes (ICST Workshops, 2022)

Systematically Generated Formulas for Spectrum-Based Fault Localization. - Qusay Idrees Sarhan; Tamás Gergely; Árpád Beszédes (ICSTW, 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 (ICST, 2023)

ISTQB-based Software Testing Education: Advantages and Challenges. - Attila Szatmári; Tamás Gergely; Árpád Beszédes (ICSTW, 2023)

Flaky Tests in the AI Domain. - Péter Attila Soha; Béla Vancsics; Tamás Gergely; Árpád Beszédes (FTW@ICSE, 2024)

Influence of Pure and Unit-Like Tests on SBFL Effectiveness: An Empirical Study. - Attila Szatmári; Tamás Gergely; Árpád Beszédes (ICSTW, 2025)

Weighted Call Frequency-Based Fault Localization. - Attila Szatmári; Aondowase James Orban; Tamás Gergely (ICST, 2025)