default search action
Tamás Gergely
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c39]Péter Attila Soha
, Béla Vancsics
Flaky Tests in the AI Domain. FTW@ICSE 2024: 20-21 - 2023
- [c38]Péter Attila Soha
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
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 - 2021
- [j17]Nadera Aljawabrah
Automated Recovery and Visualization of Test-to-Code Traceability (TCT) Links: An Evaluation. IEEE Access 9: 40111-40123 (2021) - 2020
- [c34]Nadera Aljawabrah
Visualizing Multilevel Test-to-Code Relations. ICTA 2020: 510-519 - [c33]Béla Vancsics, Tamás Gergely
Simulating the Effect of Test Flakiness on Fault Localization Effectiveness. VST@SANER 2020: 28-35
2010 – 2019
- 2019
- [j16]Ferenc Horváth, Tamás Gergely
Code coverage differences of Java bytecode and source code instrumentation tools. Softw. Qual. J. 27(1): 79-123 (2019) - [j15]Tamás Gergely
Differences between a static and a dynamic test-to-code traceability recovery method. Softw. Qual. J. 27(2): 797-822 (2019) - [c32]Nadera Aljawabrah
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 - 2018
- [j14]Tamás Gergely
Analysis of Static and Dynamic Test-to-code Traceability Information. Acta Cybern. 23(3): 903-919 (2018) - 2017
- [c30]Tamás Gergely, Edit Halmay, Miklós Szöts, George Suciu
Semantics driven intelligent front-end. SpeD 2017: 1-8 - [c29]Alessandra Bagnato
Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER). STAF Workshops 2017: 375-384 - 2016
- [c28]Gergö Balogh
Are My Unit Tests in the Right Package? SCAM 2016: 137-146 - [c27]Gergö Balogh
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
Negative Effects of Bytecode Instrumentation on Java Source Code Coverage. SANER 2016: 225-235 - 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
Empirical investigation of SEA-based dependence cluster properties. Sci. Comput. Program. 105: 3-25 (2015) - [c25]Dávid Tengeri, Árpád Beszédes
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 - 2014
- [j11]Ferenc Horváth, Szabolcs Bognár, Tamás Gergely
Code Coverage Measurement Framework for Android Devices. Acta Cybern. 21(3): 439-458 (2014) - [j10]Lajos Schrettner, Judit Jász
Impact analysis in the presence of dependence clusters using Static Execute After in WebKit. J. Softw. Evol. Process. 26(6): 569-588 (2014) - 2013
- [c23]Árpád Beszédes
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
Code coverage-based regression test selection and prioritization in WebKit. ICSM 2012: 46-55 - [c20]Lajos Schrettner, Judit Jász
Impact Analysis in the Presence of Dependence Clusters Using Static Execute after in WebKit. SCAM 2012: 24-33 - 2011
- [c19]Jesper Thestrup
Exploring New Care Models in Diabetes Management and Therapy with a Wireless Mobile eHealth Platform. MobiHealth 2011: 203-210 - 2010
- [b3]Oleg Anshakov
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 - [c18]Csaba Nagy, Janos Pantos, Tamás Gergely
Towards a Safe Method for Computing Dependencies in Database-Intensive Systems. CSMR 2010: 166-175 - [c17]Tamás Gergely
Effect of test completeness and redundancy measurement on post release failures - An industrial experience report. ICSM 2010: 1-10
2000 – 2009
- 2007
- [c16]Árpád Beszédes
The Dynamic Function Coupling Metric and Its Use in Software Evolution. CSMR 2007: 103-112 - [c15]Attila Szegedi, Tamás Gergely
Verifying the Concept of Union Slices on Java Programs. CSMR 2007: 233-242 - [c14]Árpád Beszédes
Computation of Static Execute After Relation with Applications to Software Maintenance. ICSM 2007: 295-304 - 2006
- [c13]Árpád Beszédes
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms. SCAM 2006: 21-30 - 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) - [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
1990 – 1999
- 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
1980 – 1989
- 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
- [j7]Tamás Gergely, László Úry:
A Theory of Interactive Programming. Acta Informatica 17: 1-20 (1982) - [c4]Ivan Futó, Tamás Gergely:
A Logical Approach to Simulation (TS-PROLOG). International Working Conference on Model Realism 1982: 25-46 - 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) - [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
1970 – 1979
- 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) - [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-11-25 23:42 CET 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: