TY - GEN
T1 - A massively parallel approach to automated software correctness enhancement in java
AU - Zakharchenko, Aleksandr
AU - Khaireddine, Besma
AU - Mili, Ali
N1 - Publisher Copyright:
© 2021 The authors and IOS Press. All rights reserved.
PY - 2021/9/8
Y1 - 2021/9/8
N2 - 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.
AB - 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.
KW - Absolute Correctness
KW - Automated Program Repair
KW - Correctness Enhancement
KW - Correctness Enhancer
KW - Defects4J
KW - Generate and Validate
KW - HPC
KW - Massively Parallel Systems
KW - MuJava
KW - Mutation
KW - Relative Correctness
UR - http://www.scopus.com/inward/record.url?scp=85116427333&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85116427333&partnerID=8YFLogxK
U2 - 10.3233/FAIA210015
DO - 10.3233/FAIA210015
M3 - Conference contribution
AN - SCOPUS:85116427333
T3 - Frontiers in Artificial Intelligence and Applications
SP - 141
EP - 154
BT - 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
A2 - Fujita, Hamido
A2 - Perez-Meana, Hector
PB - IOS Press BV
T2 - 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2021
Y2 - 21 September 2021 through 23 September 2021
ER -