default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTamás Gergely
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2010
[b3]Oleg Anshakov
, Tamás Gergely:
Cognitive Reasoning - A Formal Approach. Cognitive Technologies, Springer 2010, ISBN 978-3-540-43058-2, pp. I-X, 1-437 [contents]- [b2]Tamás Gergely:
Programok statikus és dinamikus analízise. University of Szeged, Hungary, 2010 - 1991
- [b1]Tamás Gergely, László Úry:
First-Order Programming Theories. EATCS Monographs on Theoretical Computer Science 24, Springer 1991, ISBN 978-3-642-63503-8, pp. 1-353
Journal Articles
- 2021
- [j17]Nadera Aljawabrah, Tamás Gergely, Sanjay Misra, Luis Fernández Sanz:
Automated Recovery and Visualization of Test-to-Code Traceability (TCT) Links: An Evaluation. IEEE Access 9: 40111-40123 (2021) - 2019
- [j16]Ferenc Horváth, Tamás Gergely, Árpád Beszédes, Dávid Tengeri, Gergö Balogh, Tibor Gyimóthy:
Code coverage differences of Java bytecode and source code instrumentation tools. Softw. Qual. J. 27(1): 79-123 (2019) - [j15]Tamás Gergely, Gergö Balogh, Ferenc Horváth, Béla Vancsics, Árpád Beszédes, Tibor Gyimóthy:
Differences between a static and a dynamic test-to-code traceability recovery method. Softw. Qual. J. 27(2): 797-822 (2019) - 2018
- [j14]Tamás Gergely, Gergö Balogh, Ferenc Horváth, Béla Vancsics, Árpád Beszédes, Tibor Gyimóthy:
Analysis of Static and Dynamic Test-to-code Traceability Information. Acta Cybern. 23(3): 903-919 (2018) - 2015
- [j13]Ferenc Horváth, Tamás Gergely:
Structural Information Aided Automated Test Method for Magic 4GL. Acta Cybern. 22(1): 81-99 (2015) - [j12]Árpád Beszédes, Lajos Schrettner, Béla Csaba, Tamás Gergely, Judit Jász, Tibor Gyimóthy:
Empirical investigation of SEA-based dependence cluster properties. Sci. Comput. Program. 105: 3-25 (2015) - 2014
- [j11]Ferenc Horváth, Szabolcs Bognár, Tamás Gergely, Róbert Rácz, Árpád Beszédes, Vladimir Marinkovic:
Code Coverage Measurement Framework for Android Devices. Acta Cybern. 21(3): 439-458 (2014) - [j10]Lajos Schrettner, Judit Jász, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy:
Impact analysis in the presence of dependence clusters using Static Execute After in WebKit. J. Softw. Evol. Process. 26(6): 569-588 (2014) - 2004
- [j9]Tibor Deutsch, Tamás Gergely, Vladimir G. Trunov:
A computer system for interpreting blood glucose data. Comput. Methods Programs Biomed. 76(1): 41-51 (2004) - 2002
- [j8]Csaba Faragó, Tamás Gergely:
Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice Algorithm. Acta Cybern. 15(4): 489-508 (2002) - 1982
- [j7]Tamás Gergely, László Úry:
A Theory of Interactive Programming. Acta Informatica 17: 1-20 (1982) - 1981
- [j6]Tamás Gergely:
Algebraic representation of language hierarchies. Acta Cybern. 5(3): 307-323 (1981) - 1980
- [j5]Tamás Gergely, László Úry:
Nondeterministic programming within the frame of first order classical logic, Part 1. Acta Cybern. 4(4): 333-354 (1980) - [j4]Tamás Gergely, László Úry:
Nondeterministic programming within the frame of first order classical logic, Part 2. Acta Cybern. 4(4): 355-375 (1980) - 1978
- [j3]Tamás Gergely, Miklós Szöts:
On the incompleteness of proving partial correctness. Acta Cybern. 4(1): 45-57 (1978) - [j2]Tamás Gergely, Konstantin Vershinin:
Model theoretical investigation of theorem proving methods. Notre Dame J. Formal Log. 19(4): 523-542 (1978) - 1975
- [j1]Tamás Gergely, István Németi:
Logical foundations for a general theory of systems. Acta Cybern. 2(3): 261-276 (1975)
Conference and Workshop Papers
- 2024
- [c40]Péter Attila Soha, Béla Vancsics, Tamás Gergely, Árpád Beszédes:
Flaky Tests in the AI Domain. FTW@ICSE 2024: 20-21 - [c39]Péter Attila Soha, Béla Vancsics, Tamás Gergely, Árpád Beszédes:
Flaky Tests in the AI Domain. FTW@ICSE 2024: 20-21 - 2023
- [c38]Péter Attila Soha, Tamás Gergely, Ferenc Horváth, Béla Vancsics, Árpád Beszédes:
A Case Against Coverage-Based Program Spectra. ICST 2023: 13-24 - [c37]Qusay Idrees Sarhan, Tamás Gergely, Árpád Beszédes:
Systematically Generated Formulas for Spectrum-Based Fault Localization. ICSTW 2023: 344-352 - [c36]Attila Szatmári, Tamás Gergely, Árpád Beszédes:
ISTQB-based Software Testing Education: Advantages and Challenges. ICSTW 2023: 389-396 - 2022
- [c35]Qusay Idrees Sarhan, Tamás Gergely, Árpád Beszédes:
New Ranking Formulas to Improve Spectrum Based Fault Localization Via Systematic Search. ICST Workshops 2022: 306-309 - 2020
- [c34]Nadera Aljawabrah, Abdallah Qusef, Tamás Gergely, Adhyatmananda Pati:
Visualizing Multilevel Test-to-Code Relations. ICTA 2020: 510-519 - [c33]Béla Vancsics, Tamás Gergely, Árpád Beszédes:
Simulating the Effect of Test Flakiness on Fault Localization Effectiveness. VST@SANER 2020: 28-35 - 2019
- [c32]Nadera Aljawabrah, Tamás Gergely, Mohammad Kharabsheh:
Understanding Test-to-Code Traceability Links: The Need for a Better Visualizing Model. ICCSA (4) 2019: 428-441 - [c31]Tamás Gergely, László Úry:
Mathematical Foundation of Cognitive Computing Based Artificial Intelligence. RAAI Summer School 2019: 29-64 - 2017
- [c30]Tamás Gergely, Edit Halmay, Miklós Szöts, George Suciu, Romulus Cheveresan:
Semantics driven intelligent front-end. SpeD 2017: 1-8 - [c29]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:
Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER). STAF Workshops 2017: 375-384 - 2016
- [c28]Gergö Balogh, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy:
Are My Unit Tests in the Right Package? SCAM 2016: 137-146 - [c27]Gergö Balogh, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy:
Using the City Metaphor for Visualizing Test-Related Metrics. VST@SANER 2016: 17-20 - [c26]Dávid Tengeri, Ferenc Horváth, Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy:
Negative Effects of Bytecode Instrumentation on Java Source Code Coverage. SANER 2016: 225-235 - 2015
- [c25]Dávid Tengeri, Árpád Beszédes, Tamás Gergely, László Vidács, David Havas, Tibor Gyimóthy:
Beyond code coverage - An approach for test suite assessment and improvement. ICST Workshops 2015: 1-7 - [c24]Ferenc Horváth, Béla Vancsics, László Vidács, Árpád Beszédes, Dávid Tengeri, Tamás Gergely, Tibor Gyimóthy:
Test suite evaluation using code coverage based metrics. SPLST 2015: 46-60 - 2013
- [c23]Árpád Beszédes, Lajos Schrettner, Béla Csaba, Tamás Gergely, Judit Jász, Tibor Gyimóthy:
Empirical investigation of SEA-based dependence cluster properties. SCAM 2013: 1-10 - 2012
- [c22]Tamás Gergely:
Welcome from the Workshop Chair. CSMR 2012: 559-560 - [c21]Árpád Beszédes, Tamás Gergely, Lajos Schrettner, Judit Jász, Laszlo Lango, Tibor Gyimóthy:
Code coverage-based regression test selection and prioritization in WebKit. ICSM 2012: 46-55 - [c20]Lajos Schrettner, Judit Jász, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy:
Impact Analysis in the Presence of Dependence Clusters Using Static Execute after in WebKit. SCAM 2012: 24-33 - 2011
- [c19]Jesper Thestrup, Tamás Gergely, Peter Beck:
Exploring New Care Models in Diabetes Management and Therapy with a Wireless Mobile eHealth Platform. MobiHealth 2011: 203-210 - 2010
- [c18]Csaba Nagy, Janos Pantos, Tamás Gergely, Árpád Beszédes:
Towards a Safe Method for Computing Dependencies in Database-Intensive Systems. CSMR 2010: 166-175 - [c17]Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Milan Imre Gyalai:
Effect of test completeness and redundancy measurement on post release failures - An industrial experience report. ICSM 2010: 1-10 - 2007
- [c16]Árpád Beszédes, Tamás Gergely, Szabolcs Farago, Tibor Gyimóthy, Ferenc Fischer:
The Dynamic Function Coupling Metric and Its Use in Software Evolution. CSMR 2007: 103-112 - [c15]Attila Szegedi, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Gabriella Tóth:
Verifying the Concept of Union Slices on Java Programs. CSMR 2007: 233-242 - [c14]Árpád Beszédes, Tamás Gergely, Judit Jász, Gabriella Tóth, Tibor Gyimóthy, Václav Rajlich:
Computation of Static Execute After Relation with Applications to Software Maintenance. ICSM 2007: 295-304 - 2006
- [c13]Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy:
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms. SCAM 2006: 21-30 - 2002
- [c12]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:
Multi-access Services for the Management of Diabetes Mellitus: The M2DM Project. AMIA 2002 - 2001
- [c11]Árpád Beszédes, Tamás Gergely, Zsolt Mihály Szabó, János Csirik, Tibor Gyimóthy:
Dynamic Slicing Method for Maintenance of Large C Programs. CSMR 2001: 105-113 - 1989
- [c10]Tamás Gergely, Zoltán Szabó:
Quasi-Equations for Logic Programming. SCAI 1989: 889-899 - 1987
- [c9]Tamás Gergely, Zoltán Szabó:
Inductive Inference on the Base of Fixed Point Theory. IJCAI 1987: 932-938 - 1986
- [c8]Zoltán Szabó, Tamás Gergely:
Fixed Point Equations as Hypotheses in Inductive Reasoning. AII 1986: 42-54 - 1985
- [c7]Tamás Gergely, Konstantin Vershinin:
Natural mathematical texts vs. programs. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 83-100 - 1984
- [c6]Tamás Gergely, Miklós Szöts:
Cuttable Formulas for Logic Programming. SLP 1984: 299-310 - 1983
- [c5]Tamás Gergely, Konstantin Vershinin:
Negative Hyper-Resolution for Proving Statements Containing Transitive Relations. IJCAI 1983: 877-881 - 1982
- [c4]Ivan Futó, Tamás Gergely:
A Logical Approach to Simulation (TS-PROLOG). International Working Conference on Model Realism 1982: 25-46 - 1980
- [c3]Hajnal Andréka, Tamás Gergely, István Németi:
Model Theoretic Semantics For Many-Purpose Languages And Language Hierarchies. COLING 1980: 213-219 - [c2]Tamás Gergely, László Úry:
Program Behaviour Specification through Explicit Time Consideration. IFIP Congress 1980: 107-111 - 1975
- [c1]Hajnal Andréka, Tamás Gergely, István Németi:
On the Role of Mathematical Language Concept in the Theory of Intelligent Systems. IJCAI 1975: 9-14
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
