Publications
Export 230 results:
Author [ Title] Type Year Filters: Author is Gyimóthy, Tibor [Clear All Filters]
General Flow-Sensitive Pointer Analysis and Call Graph Construction. Proceedings of the Estonian Academy of Sciences – Engineering. 11:286–295.
.
2005. General Flow-Sensitive Pointer Analysis and Call Graph Construction. Proceedings of the 9th Symposium on Programming Languages and Software Tools (SPLST 2005). :49–58.
.
2005. Generalized algorithmic debugging and testing. ACM Lett. Program. Lang. Syst.. 1:303–322.
.
1992. Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.
.
1991. Generating modular compilers in PROF-LP. Proceedings of the Workshop on Compiler Compilers and High Speed Compilation. :156-166.
.
1989. Gépi tanulás. Mesterséges intelligencia.
.
1999. Grammarinator: A Grammar-based Open Source Fuzzer. Proceedings of the 9th Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2018).
.
2018. 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. 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). :16-22.
.
2018. 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. IDT: Integrated system for debugging and testing Prolog programs. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:3-17.
.
1998. IDT: Integrated system for debugging and testing Prolog programs. Fourth Symposium on Programming Languages and Software Tools. :312-324.
.
1995. IDTS: a Tool for the Debugging and Testing of Prolog Programs. 8th Conference on Logic and Computer Science. :103-110.
.
1997. IEEE International Conference on Software Maintenance (ICSM2005). Journal of Software Maintenance and Evolution: Research and Practice. 18:59–60.
.
2006. .
2012. Impact Analysis in the Presence of Dependence Clusters Using Static Execute After in WebKit. Journal of Software: Evolution and Process. 26:569-588.
.
2014. Impact Analysis Using Static Execute After in WebKit. Proceedings of the16th European Conference on Software Maintenance and Reengineering (CSMR'12). :95–104.
.
2012. Implementation of a LOTOS precompiler in PROF-LP. Proceedings of the Fourth Conference of Program Designers. :31-36.
.
1988. An implementation of the HLP. Acta Cybernetica - Szeged. 6:315-327.
.
1983. IMPUT: An Interactive Learning Tool Based on Program Specialization. Intelligent Data Analysis. 1:219–244.
.
1997. 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.
.
1988. Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.
.
1998. Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
.
1995.