Aleksandr Zakharchenko

Publications by Year

Research Areas

Software Reliability and Analysis Research, Software Testing and Debugging Techniques, Software Engineering Research, Legal and Regulatory Analysis, Linguistic, Cultural, and Literary Studies

Most-Cited Works

• Drug-drug Interaction Discovery Using Abstraction Networks for "National Drug File - Reference Terminology" Chemical Ingredients.(2015)
• → A Generic Algorithm for Program Repair(2017)6 cited
• → Toward a theory of program repair(2023)4 cited
• → Auditing of SNOMED CT's Hierarchical Structure using the National Drug File - Reference Terminology(2015)1 cited
• → Correctness enhancement: a pervasive software engineering paradigm(2020)
• → A Massively Parallel Approach to Automated Software Correctness Enhancement in Java(2021)
• → A Semantic Definition of Faults and Its Implications(2020)
• → Особенности физического воспитания детей школьного возраста(2021)
• → Expansion of the Hierarchical Terminology Auditing Framework Through Usage of Levenshtein Distance-Based Criterion(2016)