Publications
Found 18 results
Author Keyword Title Type [ Year
Filters: First Letter Of Title is T [Clear All Filters]
TestRoutes: A Manually Curated Method Level Dataset for Test-to-Code Traceability. Proceedings of the 17th International Conference on Mining Software Repositories, MSR 2020. :593-597.
.
2020. Towards an Accurate Prediction of the Question Quality at Stack Overflow Using a Deep-Learning-Based NLP Approach. Proceedings of ICSOFT 2019, 14th International Conference on Software Technologies. :631-639.
.
2019. .
2019. Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts. Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain. :35–39.
.
2018. Training Context-Dependent DNN Acoustic Models Using Probabilistic Sampling. Proceedings of Interspeech. :1621–1625.
.
2017. Tree Preprocessing and Test Outcome Caching for Efficient Hierarchical Delta Debugging. Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing (AST 2017). :23–29.
.
2017. Test Suite Evaluation using Code Coverage Based Metrics. Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15). :46-60.
.
2015. 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. Theory Revision with Queries: DNF Formulas. Machine Learning. 47:257–295.
.
2002. Towards a Standard Schema for C/C++. Proceedings of the 8th Working Conference on Reverse Engineering (WCRE 2001). :49–58.
.
2001. Two Approaches for Parallelizing the UEGO Algorithm. Optimization Theory: Recent Developments from Mátraháza. :159–177.
.
2001. Towards Automatic Domain Knowledge Extraction for Evolutionary Heuristics. Parallel Problem Solving from Nature PPSN VI. :755–764.
.
2000. On Theory Revision with Queries. Proceedings of the Twelfth Annual Conference on Computational Learning Theory. :41–52.
.
1999. Threshold Circuits of Bounded Depth. J. Comput. Syst. Sci.. 46:129–154.
.
1993. Two-Dimensional Rectangle Packing: On-Line Methods and Results. Discrete Applied Mathematics. 45:197–204.
.
1993. Two Tapes Versus One for Off-Line Turing Machines. Computational Complexity. 3:392–401.
.
1993. 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. .
1990.