Publications
MAGISTER: Quality assurance of Magic applications for software developers and end users.. ICSM. :1-6.
.
2010. Leveraging Contextual Information from Function Call Chains to Improve Fault Localization. Proceedings of the 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER'20). :468-479.
.
2020. Learning syntax and semantics of ECG grammars. Proceedings of 5th Congress of IAAI. :171.
.
1997. Learning Phonetic Rules in a Speech Recognition System.. ILP. 1297:37-44.
.
1997. Learning ECG Grammars. Fifth Symposium on Programming Languages and Software Tools. :84-95.
.
1997. Learning Biomedical Patterns. 1314:159-168.
.
1996. A Layout Independent GUI Test Automation Tool for Applications Developed in Magic/uniPaaS. Proceedings of the 12th Symposium on Programming Languages and Software Tools. :248-259.
.
2011. Kézzel annotált magyar nyelvi korpusz: a Szeged Korpusz. I. Magyar Számítógépes Nyelvészeti Konferencia előadásai: MSZNY 2003. :238-245.
.
2003. Interprocedural Static Slicing of Binary Executables. Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003). :118–127.
.
2003. Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.
.
1993. Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Proceedings of the European Conference on Artificial Intelligence (ECAI'96). :403-407.
.
1996. Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Fifth International Workshop on Inductive Logic Programming. :437-452.
.
1996. Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
.
1995. Incremental generation of the LL(1) parsing table. Proceedings of 2nd Symposium on Automata, Languages and Programming Systems. :157-161.
.
1988. Incremental Algorithms in Prof-LP. CC. 371:93-102.
.
1988. Implementation of a LOTOS precompiler in PROF-LP. Proceedings of the Fourth Conference of Program Designers. :31-36.
.
1988. Impact Analysis Using Static Execute After in WebKit. Proceedings of the16th European Conference on Software Maintenance and Reengineering (CSMR'12). :95–104.
.
2012. .
2012. IDTS: a Tool for the Debugging and Testing of Prolog Programs. 8th Conference on Logic and Computer Science. :103-110.
.
1997. IDT: Integrated system for debugging and testing Prolog programs. Fourth Symposium on Programming Languages and Software Tools. :312-324.
.
1995. Identifying Wasted Effort in the Field via Developer Interaction Data. Proceedings of the 31th IEEE International Conference on Software Maintenance and Evolution (ICSME'15), Industry Track. :391-400.
.
2015. Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms. Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06). :21-30.
.
2006. Grammarinator: A Grammar-based Open Source Fuzzer. Proceedings of the 9th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2018).
.
2018. Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.
.
1989. Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.
.
1991.