Publications of Attila Kovács


Research Papers
Books, Chapters
Conference Talks, Lectures, Technical Reports, Monographs


Research Papers


  • On the structures of canonical radix expansions in different bases, submitted, 2024, co-author: Izabella Ingrid Farkas, data
  • On reciprocal sums of infinitely many arithmetic progressions with increasing prime power moduli, Acta Mathematica Hungarica, 171/2, 203-220, 2023, co-authors: Bertalan Borsos, Norbert Tihanyi, PDF
  • Integrating performance testing into continuous integration loops, Annales Univ. Sci. Budapest., Sect. Comp., Vol. 54, 211-232, 2023, co-authors: Gábor Árpád Németh, Péter Sótér, PDF
  • Tight upper and lower bounds for the reciprocal sum of Proth primes, Ramanujan Journal, Springer, open access, 2021, co-authors: B. Borsos, N. Tihanyi, Link
  • Reproducibility in the technical debt domain, Acta Univ. Sapientiae, Informatica , 13/2, 335-360, 2021, co-authors: I.I. Farkas, K. Szabados, PDF
  • Toolset for supporting the research of lattice based number expansions, Acta Cybernetica , 25/2, 271-284, 2021, co-author: P. Hudoba, PDF
  • Improving productivity in large scale testing at the compiler level by changing the intermediate language from C++ to Java, Acta Univ. Sapientiae, Informatica , 13/1, 134-179, 2021, co-author: I.I. Farkas, K. Szabados, PDF
  • Some results on simultaneous number systems in the ring of integers of imaginary quadratic fields, Annales Univ. Sci. Budapest., Sect. Comp., Vol. 51, 77-88, 2020, co-author: Izabella Ingrid Farkas, PDF
  • A case study on the effects and limitations of refactoring, Proceedings of 15th IEEE International Scientific Conference on Informatics, Poprad, 31-36, 2019, co-authors: B. Békefi, K. Szabados,
  • Computation Results of the Riemann Zeta Search Project, 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2018, co-author: N. Tihanyi, Download
  • Improvements on finding large values of the Riemann zeta function on the critical line, Annales Univ. Sci. Budapest., Sect. Comp., Vol. 48, 53-64, 2018, co-author: N. Tihanyi, PDF
  • Knowledge and mindset in software development - how developers, testers, technical writers and managers differ - a survey, Proceedings of The 11th Joint Conference on Mathematics and Computer Science, CEUR Vol. 2046, 161-184, 2018, co-author: K. Szabados, PDF
  • Computing Extremely Large Values of the Riemann Zeta Function, Journal of Grid Computing., 15/57, 1-8, 2017, co-author: N. Tihanyi, J. Kovács, PDF
  • Some improvements on number expansion computation, Annales Univ. Sci. Budapest, Sect. Comp., 46, 81-96, 2017, co-author: P. Hudoba, PDF
  • Internal quality evolution of a large test system – an industrial study, Acta Univ. Sapientiae, Informatica , 8/2, 216-240, 2016, co-author: K. Szabados, PDF
  • Titanium: Visualization of TTCN-3 system architecture, IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR), Cluj-Napoca, Romania, 2016, co-authors: K. Szabados, G. Jenei, G Góbor, DOI: 10.1109/AQTR.2016.7501275, View
  • Unrevealed Patterns in Password Databases - Part One: Analyses of Cleartext Passwords, Lecture Notes in Computer Science, Technology and Practice of Passwords, Volume 9393, 89-101, 2015, co-authors: Norbert Tihanyi, Gergely Vargha, Ádám Lénárt, DOI: 10.1007/978-3-319-24192-0_6, PDF
  • Technical Debt of Standardized Test Software, IEEE 7th International Workshop on Managing Technical Debt (MTD), Bremen, Germany, 57-60, 2015, co-author: K. Szabados, ISBN: 978-1-4673-7378-4/15, PDF
  • Distributed computing of simultaneous Diophantine approximation problems, Sud. Univ. Babes-Bolyai Math, 59/4, 557-566, 2014, co-authors: N. Tihanyi. Á. Szűcs, PDF
  • Trend Analysis Based On Semantic Graphs - A Case Study, Annales Univ. Sci. Budapest, Sect. Comp., 42, 55-68, 2014, co-author: Anna Bánsághi, PDF
  • Number System Constructions with Block Diagonal Bases, RIMS Kokyuroku-Bessatsu, B46, `Numeration and Substitution', 205-213, 2014, PDF
  • Advanced TTCN-3 Test Suite validation with Titan, Proceedings of the 9th International Conference on Applied Informatics, Vol. 2. 273-281, 2014, PDF co-author: K. Szabados, doi: 10.14794/ICAI.9.2014.2.273
  • Challenges of enterprise policy compliance with smartphone enablement or an alternative solution based on behaviour-based user identification, Hungarian Journal of Industry and Chemistry, Veszprém, 42/2 , 79-84, 2014, co-author: Sándor Dobos, PDF
  • Simultaneous number systems in the lattice of Eisenstein integers, Annales Univ. Sci. Budapest, Sect. Comp., 41, 43-55, 2013, PDF
  • Algorithmic construction of simultaneous number systems in the lattice of Gaussian integers, Annales Univ. Sci. Budapest, Sect. Comp., 39/1, 279-290, 2013, PDF
  • Efficient computing of n-dimensional simultaneous Diophantine approximation problems, Acta Univ. Sapientiae , 5/1, 16-34, 2013, co-author: N. Tihanyi, PDF
  • Test software quality issues and connections to international standards, Acta Univ. Sapientiae , 5/1, 77-102, 2013, co-author: K. Szabados, PDF
  • Source Code Scanners in Software Quality Management and Connections to International Standards, Annales Univ. Sci. Budapest, Sect. Comp., 37, 81-92, 2012, co-authors: A. Bánsághi, B.G. Ézsiás, A. Tátrai, PDF
  • Consistency of stochastic context free grammars, Mathematical and Computer Modelling, , 52/3-4, 490-500, 2010, co-author: R. Gecse. PDF
  • Start-phase control of distributed systems written in Erlang/OTP, Acta Univ. Sapientiae , 2/1, 10-27, 2010, co-authors: A. Tátrai, P. Burcsi. PDF
  • The BinSys application on the EDGeS infrastructure, Third AlmereGrid Desktop Grid Experience workshop, 39-43, 2010, co-authors: A. Marosi, P. Burcsi, Á. Kornafeld. PDF
  • Exhaustive search methods for CNS polynomials, Monatshefte für Mathematik, 155, 421-430, 2008, co-author: P. Burcsi. PDF
  • Decision and classification algorithms for generalized number systems, Annales Univ. Sci. Budapest, Sect. Comp. 28, 2008, 141-156, co-authors: P. Burcsi, Zs. Papp-Varga. PDF
  • On number system constructions, Acta Math. Hungar, 115/(1-2), 2007, 155-167, co-author: L. Germán.  PDF
  • On the importance of cache tuning in a cache-aware algorithm: a case study, Comp. And Math. With Applications, 53, 2007, 880-885. co-author: P. Burcsi. PDF
  • An algorithm checking a necessary condition of number system constructions, Annales Univ. Sci. Budapest, Sect. Comp. 25, 2005, 143-152, co-author: P. Burcsi. PDF
  • Canonical exansions of integers in real quadratic fields. Annales Univ. Sci. Budapest, Sect Comp. 23, 2004, 123-135, co-author: G. Farkas. PDF
  • Digital expansion in Q(sqrt(2)). Annales Univ. Sci. Budapest, Sect. Comp. 22, 2003, 83-94, co-author: G. Farkas. PDF
  • On number expansions in lattices. Math. and Comp. Modelling., 38, 2003, 909-915. PDF
  • Canonical expansions of integers in imaginary quadratic fields. Acta Math. Hungar, 93/4, 2001, 347-357. PDF
  • Generalized binary number systems. Annales Univ. Sci. Budapest, Sect. Comp. 20, 2001, 195-206. PDF
  • Radix expansion in lattices. Eötvös Univ. Budapest, Ph.D. thesis, 2001, 1-98. PS PDF
  • Learning integration with Maple. Hung. Electr. Journal of Sci., 2001, http://heja.math.szif.hu/ANM
  • On computation of attractors for invertible expanding linear operators in Zk. Publ. Math. Debrecen 56/1-2, 2000, 97-120. PS
  • On completely additive functions satisfying a congruence. Annales Univ. Sci. Budapest, Sect. Comp. 19, 2000, 237-249, co-author: B.M. Phong. PDF
  • Computer algebra: Impact and Perspectives. Nieuw Archief voor Wiskunde 17/1, 1999, 29-55.
  • On expansions of gaussian integers with non-negative digits. Math. Pannonica 10/2, 1999, 177-191. PDF
  • Sets of complex numbers generated from a polynomial functional equation. Annales Univ. Sci. Budapest, Sect. Comp. 18, 1999, 115-124. PDF
  • Komputeralgebra a tudományokban és a gyakorlatban. Alk. Mat. Lapok 18, 1998, 181-202. (in Hungarian) PDF

Books / Chapters


  • Paradigm Shift in Software Testing – Practical Guide for Developers and Testers, 2021, ISBN 9786150127811, Co-author: Forgács István, test-design.org
  • Practical Test Design - Selection of traditional and automated test design techniques, 2019, ISBN 9781780174723, Co-author: Forgács István, test-design.org
  • Matematikai modellezés komputeralgebra támogatással. 2013, ISBN 9789632844473, Társszerzők: Czirbusz Sándor, Tihanyi Norbert, Read
  • Bevezetés a matematikába informatikai alkalmazásokkal. ELTE Eötvös Kiadó , 2005, 2007, 2009, 3rd ed., ISBN 9789632840772, Társszerzők: Farkas G.; Fülöp Á.; Gonda J.; Járai A.; Láng Cs.; Székely J. Szerkesztette: Járai Antal.
  • Informatikai Algoritmusok I. Komputeralgebra fejezet. ELTE Eötvös Kiadó , 2004, ISBN 963463664, Szerkesztette: Iványi Antal, Társszerző: Járai Antal

Conference Talks / Lectures / Technical Reports / Monographs


  • Biztonsági kihívások a jövő informatikai rendszereiben, 2023. november 21., ICT Global - Future IT Conference, Budapest
  • Megbízható és biztonságos szoftverek a kvantumtechnológiában, 2023. július 18, Kvantum-technológia workshop, Trilobita, Budapest
  • ELTE - Nyitott ablak az ipar felé (interjú), Link
  • Tight upper and lower bounds for the reciprocal sum of generalized Proth primes, Number Theory Conference, July 2022, co-authors: N. Tihanyi, B. Borsos
  • Tudod, hogy milyen jó tesztelő vagy? Biztos?, Budapest, Március 7 (2022), Teszt és Tea Meetup, co-author: István Forgács, Video
  • A New Efficient Test Design Technique, HUSTEF, November 2021, co-author: István Forgács
  • Test Design revisited, HUSTEF, November 2020, co-author: István Forgács
  • Gondolatok a szoftvertesztelésről, Bolyai Kollégium Informatikai Szeminárium, Budapest, 2020. október 21.
  • (2,3)-simultaneous number systems over the Eisenstein lattice, 13th Joint Conference on Mathematics and Computer Science (MACS 2020) October 1-3, 2020, co-author: Farkas Ingrid
  • Discussion on the book "Practical Test Design", Test&Tee Meeetup, Budapest, 2020, January, Video
  • A case study on the effects and limitations of refactoring, IEEE 15th International Scientific Conference on Informatics, 2019, November, Poprad, Slovakia (co-authors: Bianka Békefi, Kristóf Szabados)
  • Signatures of integers in real quadratic fields, 7th International Conference on Mathematics and Informatics, 2019, September, Marosvásárhely, (co-author: Ingrid Izabella Farkas)
  • Lattice based number expansions - past and present, Numeration & Substitutions, 2019, July, Erwin Schrödinger Institut, Vienna
  • A tesztelés jövője, a jövő tesztelése, Budapest, Március 2019, Teszt és Tea Meetup, Video
  • Computation Results of the Riemann Zeta Search Project, SYNASC 2018, September, Temesvár, (co-author: Norbert Tihanyi)
  • Laudation to Karl-Heinz Indlekofer, NFE 2018, August, Hajdúszoboszló
  • On lattice based Number Systems, NFE 2018, August, Hajdúszoboszló
  • Infinite families of number systems, Numeration 2018, May, (co-author: Jakub Krásensky)
  • Toolset for supporting the number system research, Numeration 2018, May, (co-author: Peter Hudoba)
  • Numberation Systems, Guest Lecturer at Univ. Roma Tre, May, 2018.
  • Basics of project and people management, in Certified Test Team Leader Project & People Management Workshop, March, 2018, Budapest
  • Adat és szoftver a 21. században - tesztelési szemszögből, StorageWorld 2018 February, Budapest, co-author: Gergő Gombos
  • Numbers, systems, applications, Numeration 2017, Rome
  • Examinig the number system property with probabilistic algorithms, Numeration 2017, Rome, co-author: Péter Hudoba
  • Computing with generalized number systems using the computer algebra system SYGNM, Numeration 2017, Rome, co-authors: Tamás Krutki, Bence Németh
  • The present and future of software testing, Budapest, May 2017, Teszt&Tea
  • The present and future of software testing, Praha, December 2016, Web page, Video
  • Basics of software testing, Guest lecture, Technical University Prague, December 2016
  • Hungarian Software Testing Forum 2016, 24-25 October, Programm Committee Chair, Web Page, Video, Presentations.
  • Basics of Test Managements, Conference of Test Team Leader 2016, Budapest, 28 September, 2016.
  • Some Improvements on Number Expansion Computations, Numeration 2016, Praha, May 2016, Co-author: Péter Hudoba
  • Using Sage in number system research, Sage Days 72, Praha, May 2016, Lecture and worksheet
  • Knowledge and mindset in software development - how developers, testers, technical writers and managers differ - a survey, 11th Joint Conference on Mathematics and Computer Science, Eger, May 2016., Co-author: Kristóf Szabados
  • Titanium: Visualization of TTCN-3 system architecture, International Conference on Automation, Quality and Testing, Robotics (IEEE), Cluj-Napoca, May 2016., Co-authors: Kristóf Szabados, Gábor Jenei, Dániel Góbor
  • Developing and Testing at Large Scale, 5th Annual Conference on Software Testing, Budapest, 18-19 November, 2015. Co-author: Kristóf Szabados, PDF, Video
  • Test Systems, Software Systems. Is there a difference? 3rd User Conference on Advanced Automated Testing, Sophia Antipolis, France, 20-22 October, 2015. Co-author: Kristóf Szabados, PDF
  • Napirenden az elektronikus szolgáltatások minősége, Aug 19, 2015. ComputerWorld
  • Some computational results regarding special radix expansions, Numeration 2015, Nancy, France, May 18-22, 2015. Garsia data zip
  • Unrevealed patterns in password databases, Part one: analyses of cleartext passwords, The International Conference on Passwords 2014, Trondheim, Dec 8–-10, 2014. Co-authors: Norbert Tihanyi, Gergely Vargha, Ádám Lénárt, Proceedings PDF
  • Distributed computing of some simultaneous Diophantine approximation problems, 10th Joint Conference on Mathematics and Computer Science, Cluj-Napoca, May 21–-25, 2014. Co-authors: Norbert Tihanyi, Ádám Szűcs
  • Advanced TTCN-3 Test Suite Validation with TITAN, 9th International Conference on Applied Informatics 2014, Eger, 30th of January. Co-author: Kristóf Szabados, Ericsson Hungary
  • Some results on simultaneous number systems in the ring of integers of imaginary quadratic fields, Numbers, Functions, Equiations 2013, Visegrád, 28th of June.
  • Requirement Engineering Fundamentals, HTB Miniworkshop, Budapest, Hungary, Május 3, 2013.
  • Tesztfolyamat-fejlesztés, IIR Szoftvertesztelés szakkonferencia, Budapest, Hungary, Április 23-24, 2013. Társelőadó: Széll Szilárd, Nokia Siemens Networks
  • Szoftver a jövő autójában, A jövő járműve - a magyar járműipar tudományos lapja, 2012, 3/4 Elérhetőség, Társszerzők: Palkovics László, Ványi Gábor
  • The Present and Future of Software Testing - as I see it, Plenary Talk, TTCN-3 Users Conference, Budapest, Hungary, October 9-10 2012.
  • Number System Constructions in Lattices with Block Diagonal Bases, Numeration and Substitution 2012, Kyoto, Japan, June 4-7 2012.
  • Representing Numbers in Symbolic Systems, Mechanical Engineering 2012, Budapest University of Technology and Economics, May 24-25 2012.
  • A szoftvertesztelés-képzés helye a hazai felsőoktatásban és kapcsolódás nemzetközi standardokhoz, Informatika a felsőoktatásban, Debrecen, Hungary, Augusztus 24-26, 2011. PDF
  • A szoftvertesztelés oktatása Magyarországon, Szoftvertesztelés 2010, A minőségi minőségbiztosításért Budapest, Hungary, Október 20, 2010. Az előadás megtekintése
  • A sikeres tesztautomatizálás nyomában, Szoftvertesztelés, Budapest, Hungary, May 12-13, 2010.
  • Kriptográfia és biztonság, Robothadviselés 9, Információbiztonság szekció, Budapest, Hungary, November, 2009.
  • Research on number expansions from algorithmic aspects, Numbers, functions, equations, Noszvaj, Hungary, June, 2008.
  • Some dynamical properties of generalized radix systems, Journées de Numération, Praha, May 2008, slides 1-37, co-author: P. Burcsi.
  • Generalized Number Systems, Univ. Debrecen, April 2008, slides 1-84.
  • Software Networks, ELTE eScience Regional Knowledge Center, Annual Report, 2007.
  • Algorithmic problems in the research of number expansions. Journées de Numération, Graz, May 2007, slides 1-29, co-author: P. Burcsi. PDF
  • Szuperszámítógépes teljesítmény szuperszámítógép nélkül – a BinSYS projekt. Networkshop, Miskolc, 2006. Társszerzők: P. Burcsi, Á. Kornafeld, N. Podhorszki, A. Marosi, G. Gombás, G. Vida.
  • Software Networks, ELTE eScience Regional Knowledge Center, Annual Report, 2006,
  • Complexity of the AXD301 Software, ELTE eScience Regional Knowledge Center, ELTE CNL, Internal Research Report, 2004, co-authors: A. Bokor, P. Burcsi, G. Kátai-Pál, P. Nagy, A. Tátrai
  • Generalized number systems and computer algebra. Monograph, Hung. Acad. Sci. 1999, 1-60.
  • On computation of attractors for invertible expanding linear operators in Zk. Proc. Numbers, Functions, Equations '98, Noszvaj, Hungary, Leaflets in Mathematics, Janus Pannonius Univ. (Pécs), 1998, 108-109.
  • Fractals and number systems. Univ. of Paderborn, Techn. report, CeBIT 1993, 1-62. Co-author: N. Harnos
  • Simulation analysis of complex number systems and Balkema-Oppenheim expansions. Eötvös Univ. Budapest, Diploma thesis, 1991, 1-58.