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 (AMIA, 2015)

Auditing of SNOMED CT's Hierarchical Structure using the National Drug File - Reference Terminology. - Aleksandr Zakharchenko; James Geller (MIE, 2015)

Expansion of the Hierarchical Terminology Auditing Framework Through Usage of Levenshtein Distance-Based Criterion. - Aleksandr Zakharchenko; James Geller (MIE, 2016)

A Generic Algorithm for Program Repair. - Besma Khaireddine; Aleksandr Zakharchenko; Ali Mili 001 (FormaliSE@ICSE, 2017)

Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment. - Besma Khaireddine; Aleksandr Zakharchenko; Ali Mili 001 (QRS Companion, 2019)

A Semantic Definition of Faults and Its Implications. - Besma Khaireddine; Aleksandr Zakharchenko; Ali Mili 001 (QRS, 2020)

Correctness enhancement: a pervasive software engineering paradigm. - Besma Khaireddine; Marwa Ben AbdelAli; Lamia Labed Jilani; Aleksandr Zakharchenko; Ali Mili 001 (Int. J. Crit. Comput. Based Syst., 2020)

The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation. - Besma Khaireddine; Aleksandr Zakharchenko; Ali Mili 001 (SoMeT, 2021)

Toward a theory of program repair. - Besma Khaireddine; Aleksandr Zakharchenko; Matias Martinez; Ali Mili 001 (Acta Informatica, 2023)