Publications
Stability of Corner Points in Scale Space: The Effects of Small Nonrigid Deformations. Computer Vision and Image Understanding. 72:72–83.
.
1998. Static and Dynamic Slicing of Constraint Logic Programs. Automated Software Engineering. 9:41–65.
.
2002. Static JavaScript Call Graphs: A Comparative Study. SCAM. :177-186.
.
2018. Static Slicing of JAVA Programs. Fifth Symposium on Programming Languages and Software Tools. :116-128.
.
1997. Static Slicing of Logic Programs. AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging. :85–105.
.
1995. Study of The Performance of Various Classifiers in Labeling Non-Functional Requirements. Information Technology and Control. 48:1-16.
.
2019. Study of Various Classifiers for Identification and Classification of Non-Functional Requirements. Proceedings of the 18th International Conference on Computational Science and Its Applications (ICCSA 2018). 10964:492-503.
.
2018. Stunner: A Smart Phone Trace for Developing Decentralized Edge Systems. Distributed Applications and Interoperable Systems. :108–115.
.
2019. On the Sum-of-squares Algorithm for Bin Packing. Proceedings of the Thirty-second Annual ACM Symposium on Theory of Computing. :208–217.
.
2000. Supporting Product Line Adoption by Combining Syntactic and Textual Feature Extraction. New Opportunities for Software Reuse - 17th International Conference on Software Reuse (ICSR 2018). :1-16.
.
2018. Supporting Software Product Line Testing by Optimizing Code Configuration Coverage. Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15); 10th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'15). :1-7.
.
2015. Supporting Software Product Line Testing by Optimizing Code Configuration Coverage. Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15); 10th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'15). :1-7.
.
2015. Survey of Code-size Reduction Methods. ACM Comput. Surv.. 35:223–267.
.
2003. Syntactic pattern recognition in the HLP/PAS system. Acta Cybern.. 8:79–88.
.
1987. Syntactic pattern recognition with modified fuzzy automata. Computational Linguistics and Computer Langugaes. 15:175-193.
.
1982. SYS/3 - A Software Development Tool. CC. 477:193–207.
.
1990. SYS-DL, a system development language supporting software quality assurance. First Finnish-Hungarian Workshop on Programming Languages and Software Tools. :307-317.
.
1989. 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. 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. 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. On Theory Revision with Queries. Proceedings of the Twelfth Annual Conference on Computational Learning Theory. :41–52.
.
1999. Theory Revision with Queries: DNF Formulas. Machine Learning. 47:257–295.
.
2002. Threshold Circuits of Bounded Depth. J. Comput. Syst. Sci.. 46:129–154.
.
1993. .
1990.