Máté Tejfel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Using GNN for refactoring P4 programs Annales Mathematicae et Informaticae	2026-03-20	Paper
Overlaying control flow graphs on P4 syntax trees with Gremlin Acta Cybernetica	2024-09-11	Paper
P4Query: Static analyser framework for P4 Annales Mathematicae et Informaticae	2023-12-12	Paper
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm Acta Cybernetica	2023-03-30	Paper
A domain based new code coverage metric and a related automated test data generation method Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica	2012-07-12	Paper
Improving quality of software analyser and transformer tools using specification based testing Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica	2012-07-12	Paper
Proving composed specifications of Clean programs in Sparkle-T	2010-01-25	Paper
A semantic model for proving properties of clean object I/O programs	2009-12-29	Paper
Temporal Properties of Clean Programs Proven in Sparkle-T Central European Functional Programming School	2009-01-15	Paper
scientific article; zbMATH DE number 5036161 (Why is no real title available?)	2006-06-27	Paper

Research outcomes over time

This page was built for person: Máté Tejfel