Publications
Found 77 results
Author Keyword Title [ Type
Filters: Author is Tibor Gyimóthy [Clear All Filters]
THALES: a software package for plane geometry constructions with a natural language interface. Proceedings of the 13th conference on Computational linguistics - Volume 1. :44–46.
.
1990. Test Suite Reduction for Fault Detection and Localization: a Combined Approach. Proceedings of CSMR-WCRE 2014 Software Evolution Week (European Conference on Software Maintenance and Reengineering and Working Conference on Reverse Engineering). :204-213.
.
2014. Test Suite Evaluation using Code Coverage Based Metrics. Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15). :46-60.
.
2015. SYS-DL, a system development language supporting software quality assurance. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :307-317.
.
1989. SYS/3 - A Software Development Tool. CC. 477:193–207.
.
1990. Static Slicing of JAVA Programs. Fifth Symposium on Programming Languages and Software Tools. :116-128.
.
1997. Solutions for Reverse Engineering 4GL Applications, Recovering the Design of a Logistical Wholesale System. Proceedings of CSMR 2011 (15th European Conference on Software Maintenance and Reengineering). :343-346.
.
2011. Service Layer for IDE Integration of C/C++ Preprocessor Related Analysis. Computational Science and Its Applications - ICCSA 2014, Lecture Notes in Computer Science. 8583:402-417.
.
2014. Relating Code Coverage, Mutation Score and Test Suite Reducibility to Defect Density. Proceedings of the 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'16); The 11th International Workshop on Mutation Analysis (MUTATION'16). :174-179.
.
2016. Predictive Complex Event Processing: A conceptual framework for combining Complex Event Processing and Predictive Analytics. Proceedings of Fifth Balkan Conference in Informatics (BCI 2012). :26-31.
.
2012. Parallel execution of object functional queries. Fourth Symposium on Programming Languages and Software Tools. :447-459.
.
1995. A Manually Validated Code Refactoring Dataset and Its Assessment Regarding Software Maintainability. Proceedings of the 12th International Conference on Predictive Models and Data Analytics in Software Engineering. :10:1–10:4.
.
2016. MAGISTER: Quality assurance of Magic applications for software developers and end users. Software Maintenance (ICSM), 2010 IEEE International Conference on. :1-6.
.
2010. Learning the Syntax and Semantic Rules of an ECG Grammar. AI*IA. 1321:171–182.
.
1997. Learning Biomedical Patterns. 1314:159-168.
.
1996. 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. 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. 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. Identifying Wasted Effort in the Field via Developer Interaction Data. Software Maintenance and Evolution (ICSME), 2015 IEEE International Conference on. :391-400.
.
2015. 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).
.
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.