Tamás Gergely

According to our database1, Tamás Gergely
  • authored at least 43 papers between 1975 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Negative Effects of Bytecode Instrumentation on Java Source Code Coverage.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Using the City Metaphor for Visualizing Test-Related Metrics.
Proceedings of the First International Workshop on Validating Software Tests, 2016

Are My Unit Tests in the Right Package?
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

2015
Empirical investigation of SEA-based dependence cluster properties.
Sci. Comput. Program., 2015

Structural Information Aided Automated Test Method for Magic 4GL.
Acta Cybern., 2015

Test suite evaluation using code coverage based metrics.
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.
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.
Journal of Software: Evolution and Process, 2014

Code Coverage Measurement Framework for Android Devices.
Acta Cybern., 2014

2013
Empirical investigation of SEA-based dependence cluster properties.
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

2012
Impact Analysis in the Presence of Dependence Clusters Using Static Execute after in WebKit.
Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012

Code coverage-based regression test selection and prioritization in WebKit.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Welcome from the Workshop Chair.
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.
Proceedings of the Wireless Mobile Communication and Healthcare, 2011

2010
Effect of test completeness and redundancy measurement on post release failures - An industrial experience report.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Towards a Safe Method for Computing Dependencies in Database-Intensive Systems.
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

Cognitive Reasoning - A Formal Approach.
Cognitive Technologies, Springer, ISBN: 978-3-540-43058-2, 2010

2007
Computation of Static Execute After Relation with Applications to Software Maintenance.
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Verifying the Concept of Union Slices on Java Programs.
Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

The Dynamic Function Coupling Metric and Its Use in Software Evolution.
Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

2006
Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms.
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.
Computer Methods and Programs in Biomedicine, 2004

2002
Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice Algorithm.
Acta Cybern., 2002


2001
Dynamic Slicing Method for Maintenance of Large C Programs.
Proceedings of the Fifth Conference on Software Maintenance and Reengineering, 2001

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

1989
Quasi-Equations for Logic Programming.
SCAI, 1989

1987
Inductive Inference on the Base of Fixed Point Theory.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986
Fixed Point Equations as Hypotheses in Inductive Reasoning.
Proceedings of the Analogical and Inductive Inference, 1986

1985
Natural mathematical texts vs. programs.
Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

1984
Cuttable Formulas for Logic Programming.
Proceedings of the 1984 International Symposium on Logic Programming, 1984

1983
Negative Hyper-Resolution for Proving Statements Containing Transitive Relations.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
A Theory of Interactive Programming.
Acta Inf., 1982

A Logical Approach to Simulation (TS-PROLOG).
International Working Conference on Model Realism, 1982

1981
Algebraic representation of language hierarchies.
Acta Cybern., 1981

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

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

Program Behaviour Specification through Explicit Time Consideration.
IFIP Congress, 1980

Model Theoretic Semantics For Many-Purpose Languages And Language Hierarchies.
Proceedings of the 8th International Conference on Computational Linguistics, 1980

1978
Model theoretical investigation of theorem proving methods.
Notre Dame Journal of Formal Logic, 1978

On the incompleteness of proving partial correctness.
Acta Cybern., 1978

1975
Logical foundations for a general theory of systems.
Acta Cybern., 1975

On the Role of Mathematical Language Concept in the Theory of Intelligent Systems.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975


  Loading...