@inproceedings{6031470838e0413a873cd669cdc7096d,
title = "A massively parallel approach to automated software correctness enhancement in java",
abstract = "Software product faults are an inevitable and an undesirable byproduct of any software development. Often hard to detect they are a major contributing factor to the overall development and support costs and a source of technical risk for the application as a whole. The criticality of the impact has resulted in several decades of non-stop iterative improvements, aimed at avoiding and detecting the faults through development and application of sophisticated automated testing and validation systems, Finding the exact source of error, creating a patch to fix it and validating it for production release is still a highly manual activity. In this paper we build upon the theoretical framework of relative correctness, which we have laid out in our previous work, and present a massively parallel automated tool implementing it in order to support root cause analysis and patch generation.",
keywords = "Absolute Correctness, Automated Program Repair, Correctness Enhancement, Correctness Enhancer, Defects4J, Generate and Validate, HPC, Massively Parallel Systems, MuJava, Mutation, Relative Correctness",
author = "Aleksandr Zakharchenko and Besma Khaireddine and Ali Mili",
note = "Publisher Copyright: {\textcopyright} 2021 The authors and IOS Press. All rights reserved.; 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2021 ; Conference date: 21-09-2021 Through 23-09-2021",
year = "2021",
month = sep,
day = "8",
doi = "10.3233/FAIA210015",
language = "English (US)",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "141--154",
editor = "Hamido Fujita and Hector Perez-Meana",
booktitle = "New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2021",
address = "Netherlands",
}