Aleksandr Zakharchenko

According to our database, Aleksandr Zakharchenko authored at least 9 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Toward a theory of program repair.

Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili

Acta Informatica, September, 2023

2021

The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation.

Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021

2020

Correctness enhancement: a pervasive software engineering paradigm.

Besma Khaireddine, Marwa Ben AbdelAli, Lamia Labed Jilani, Aleksandr Zakharchenko, Ali Mili

Int. J. Crit. Comput. Based Syst., 2020

A Semantic Definition of Faults and Its Implications.

Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment.

Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

2017

A Generic Algorithm for Program Repair.

Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

2016

Expansion of the Hierarchical Terminology Auditing Framework Through Usage of Levenshtein Distance-Based Criterion.

Aleksandr Zakharchenko, James Geller

Proceedings of the Exploring Complexity in Health: An Interdisciplinary Systems Approach - Proceedings of MIE2016 at HEC2016, Munich, Germany, 28 August, 2016

2015

Auditing of SNOMED CT's Hierarchical Structure using the National Drug File - Reference Terminology.

Aleksandr Zakharchenko, James Geller

Proceedings of the Digital Healthcare Empowering Europeans, 2015

Drug-drug Interaction Discovery Using Abstraction Networks for "National Drug File - Reference Terminology" Chemical Ingredients.

Christopher Ochs, Ling Zheng, Huanying Gu, Yehoshua Perl, James Geller, Joan Kapusnik-Uner, Aleksandr Zakharchenko

Proceedings of the AMIA 2015, 2015