Publications
Found 77 results
Author Keyword [ Title
] Type Year Filters: Author is Tibor Gyimóthy [Clear All Filters]
.
1994. Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.
.
1996. An Efficient Interprocedural Slicing Method for Large Programs. 9th International Conference on Software Engineering and Knowledge Engineering. :279-287.
.
2018. Empirical evaluation of software maintainability based on a manually validated refactoring dataset. Information and Software Technology. 95:313-327.
.
2017. Empirical Study on Refactoring Large-scale Industrial Systems and Its Effects on Maintainability. Journal of Systems and Software. 129:107–126.
.
2018. Feature Level Complexity and Coupling Analysis in 4GL Systems. Proceedings of the 18th International Conference on Computational Science and Its Applications (ICCSA 2018).
.
1992. Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst.. 1:303–322.
.
1991. Generalized Algorithmic Debugging and Testing. PLDI. :317–326.
.
1989. Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.
.
2018. Grammarinator: A Grammar-based Open Source Fuzzer. Proceedings of the 9th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2018).
.
2018. HDDr: A Recursive Variant of the Hierarchical Delta Debugging Algorithm. Proceedings of the 9th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2018).
.
2015. Identifying Wasted Effort in the Field via Developer Interaction Data. Software Maintenance and Evolution (ICSME), 2015 IEEE International Conference on. :391-400.
.
1998. IDT: Integrated system for debugging and testing Prolog programs. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:3-17.
.
1988. Implementation of a LOTOS precompiler in PROF-LP. Proceedings of the Fourth Conference of Program Designers. :31-36.
.
1983. An implementation of the HLP. Acta Cybernetica - Szeged. 6:315-327.
.
1988. Incremental Algorithms in Prof-LP. CC. 371:93-102.
.
1988. Incremental Algorithms in Prof-LP. CC. 371:93–102.
.
1988. Incremental generation of the LL(1) parsing table. Proceedings of 2nd Symposium on Automata, Languages and Programming Systems. :157-161.
.
1998. Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.
.
1995. Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
.
1992. Integrated Graphic Enviroment to Develop Applications Based on Attribute Grammars. Lecture Notes in Computer Science. 641:51-58.
.
1993. Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.
.
2003. Interprocedural Static Slicing of Binary Executables. Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003). :118–127.
.
1996. Learning Biomedical Patterns. 1314:159-168.
.
1997. Learning semantic functions of attribute grammars. Nordic J. of Computing. 4:287–302.
.
1997. Learning the Syntax and Semantic Rules of an ECG Grammar. AI*IA. 1321:171–182.