Publications
Generalized algorithmic debugging and testing. Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation. :317–326.
.
1991. 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. Fuzzing JavaScript Engine APIs. Integrated Formal Methods – 12th International Conference, iFM 2016. 9681:425–438.
.
2016. From C++ Refactorings to Graph Transformations. Electronic Communications of the EASST and Proceedings of the 3rd Workshop on Software Evolution through Transformations (Setra 2006). :127-141.
.
2006. Formalizing Slicing – Results, Current Work and Challenges. Beyond Program Slicing – Abstracts Collection. 05451:10–11.
.
2005. Formalizing Executable Dynamic and Forward Slicing. Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004). :43–52.
.
2004. Formal Aspects of Grid Brokering. PDMC. :18-31.
.
2009. A forgalomszabályozás egy optimalizálási modellje. XXVI. Operációkutatási Konferencia.
.
2004. Flexible Representation of IoT Sensors for Cloud Simulators. Proceedings - 2017 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2017. :199-203.
.
2017. FGT - A framework for generating rule-based taggers. Inductive Logic Programming, 9th International Workshop, Late-Breaking papers. :1-7.
.
1999. Feature Level Complexity and Coupling Analysis in 4GL Systems. The 18th International Conference on Computational Science and Its Applications (ICCSA'18). 10964:438-453.
.
2018. FCM: an Architecture for Integrating IaaS Cloud Systems. proc. of the Second International Conference on Cloud Computing, GRIDs, and Virtualization (Cloud Computing 2011). :7-12.
.
2011. Fault-tolerant behavior in state-of-the-art Grid Workflow Management Systems. CoreGrid integration workshop 2008. Integrated research grid computing.
.
2008. FaultBuster: An Automatic Code Smell Refactoring Toolset. Proceedings of the 15th International Working Conference on Source Code Analysis and Manipulation (SCAM 2015). :253–258.
.
2015. .
2008. Fact Extraction and Code Auditing with Columbus and SourceAudit. Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004). :513.
.
2004. Facilitating self-adaptable Inter-Cloud management. Accepted for the 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP '12).
.
2011. Facilitating self-adaptable Inter-Cloud management. Proceedings of the 20th international Euromicro conference on parallel, distributed and network-based processing. :575–582.
.
2012. Extracting Facts with Columbus from C++ Code. Tool Demonstrations of the 8th European Conference on Software Maintenance and Reengineering (CSMR 2004). :4-8.
.
2004. Extracting Facts from Open Source Software. Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004). :60-69.
.
2004. An Extensive Study on Model Architecture and Program Representation in the Domain of Learning-based Automated Program Repair. 2023 IEEE/ACM International Workshop on Automated Program Repair (APR). :31-38.
.
2023. Extension of GCC with a fully manageable reverse engineering front end. Proceedings of the 7th international conference on applied informatics (ICAI 2007). :145-152.
.
2009. Exploring the Benefits of Utilizing Conceptual Information in Test-to-Code Traceability. Proceedings of the IEEE/ACM 6th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2018 @ ICSE).
.
2018. Exploration and Mining of Source Code Level Traceability Links on Stack Overflow. Proceedings of ICSOFT 2019, 14th International Conference on Software Technologies. :339-346.
.
2019. Experiments with Interactive Fault Localization Using Simulated and Real Users. Proceedings of the 36th IEEE International Conference on Software Maintenance and Evolution (ICSME'20).
.
2020.