A massively parallel approach to automated software correctness enhancement in java

Document Type

Conference Proceeding

Publication Date

9-8-2021

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.

Identifier

85116427333 (Scopus)

ISBN

[9781643681948]

Publication Title

Frontiers in Artificial Intelligence and Applications

External Full Text Location

https://doi.org/10.3233/FAIA210015

e-ISSN

18798314

ISSN

09226389

First Page

141

Last Page

154

Volume

337

Grant

DGE1565478

Fund Ref

National Science Foundation

This document is currently not available here.

Share

COinS