{ "response" : { "header" : { "query" : { "$" : "(oaftype exact result) and (resulttypeid exact publication) and ((pidclassid exact \"doi\" and pid exact \"10.1016/j.jss.2019.01.069\"))" }, "locale" : { "$" : "en_US" }, "size" : { "$" : 10 }, "page" : { "$" : 1 }, "total" : { "$" : 1 }, "fields" : null }, "results" : { "result" : [{ "header" : { "dri:objIdentifier" : { "$" : "doi_dedup___::832d6c088969e8316c107cc9d34c6031" }, "dri:dateOfCollection" : { "$" : "2025-12-20T13:45:15.406610155" }, "dri:dateOfTransformation" : null }, "metadata" : { "oaf:entity" : { "@xsi:schemaLocation" : "http://namespace.openaire.eu/oaf https://www.openaire.eu/schema/1.0/oaf-1.0.xsd", "oaf:result" : { "collectedfrom" : [ { "@name" : "Datacite", "@id" : "openaire____::9e3be59865b2c1c335d32dae2fe7b254" }, { "@name" : "UnpayWall", "@id" : "openaire____::8ac8380272269217cb09a928c8caa993" }, { "@name" : "Crossref", "@id" : "openaire____::081b82f96300b6a6e3d282bad31cb6e2" }, { "@name" : "Hal", "@id" : "openaire____::39e33d59918c2cb40d10ae244f1fe019" }, { "@name" : "Microsoft Academic Graph", "@id" : "openaire____::5f532a3fc4f1ea403f37070f59a7a53a" }, { "@name" : "arXiv.org e-Print Archive", "@id" : "opendoar____::6f4922f45568161a8cdf4ad2299f6d23" } ], "originalId" : [ { "$" : "S0164121219300159" }, { "$" : "10.1016/j.jss.2019.01.069" }, { "$" : "50|doiboost____|832d6c088969e8316c107cc9d34c6031" }, { "$" : "50|datacite____::13d440e34e9b4292575d3442b0594a72" }, { "$" : "10.48550/arxiv.1802.03365" }, { "$" : "oai:arXiv.org:1802.03365" }, { "$" : "50|od________18::ba5db5b629077657929e0ca787309da2" }, { "$" : "50|a9ac50f576aa::46e80150eb1a3c4cf4b039bd9c84b944" }, { "$" : "oai:HAL:hal-03574624v1" }, { "$" : "2787871251" }, { "$" : "3098154879" } ], "pid" : [ { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1016/j.jss.2019.01.069" }, { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "@inferred" : false, "@provenanceaction" : "sysimport:actionset", "@trust" : "0.9", "$" : "10.48550/arxiv.1802.03365" }, { "@classid" : "arXiv", "@classname" : "arXiv", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : 1802.03365 } ], "measure" : [ { "@id" : "influence", "@score" : "4.274974E-9", "@class" : "C4" }, { "@id" : "popularity", "@score" : "1.8440382E-8", "@class" : "C4" }, { "@id" : "influence_alt", "@score" : "30", "@class" : "C4" }, { "@id" : "popularity_alt", "@score" : "7.233152", "@class" : "C4" }, { "@id" : "impulse", "@score" : "23", "@class" : "C4" } ], "title" : [ { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "Astor: Exploring the design space of generate-and-validate program repair beyond GenProg" }, { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg" }, { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "astor exploring the design space of generate and validate program repair beyond genprog" } ], "bestaccessright" : { "@classid" : "OPEN", "@classname" : "Open Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "creator" : [ { "@rank" : "1", "@name" : "Matias", "@surname" : "Martinez", "@orcid" : "0000-0002-2945-866x", "$" : "Martinez, Matias" }, { "@rank" : "2", "@name" : "Martin", "@surname" : "Monperrus", "@orcid" : "0000-0003-3505-3383", "$" : "Monperrus, Martin" } ], "contributor" : { "$" : "Cagniard, Julie" }, "dateofacceptance" : { "$" : "2019-05-01" }, "description" : { "$" : "During last years, researches have proposed novel repair approaches that automatically generate patches for repairing software bugs. Repair approaches can be loosely characterized along the main design philosophy such generate- and-validate or synthesis-based. Each of those repair approaches is a point in the design space of program repair. Our goal is to facilitate the design, development and evaluation of repair approaches by providing a framework that: a) contains components commonly present in approaches implementations thus new approaches can be built over them, b) provides built-in implementations of existing repair approach. This paper presents a framework named Astor that encores the design space of generate-and-validate repair approaches. Astor provides extension points that form the explicit decision space of program repair. Over those extension points, researchers can reuse existing components or implements new ones. Astor includes 6 Java implementation of repair approaches, including one of the pioneer: GenProg. Researcher have been already defining new approaches over Astor, proposing improvements of those built-in approaches by using the extension points, and executing approaches implementations from Astor in their evaluations. The implementations of the repair approaches built over Astor are capable of repair, in total, 98 real bugs from 5 large Java programs." }, "embargoenddate" : { "$" : "2018-01-01" }, "subject" : [ { "@classid" : "keyword", "@classname" : "keyword", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "$" : "Software Engineering (cs.SE)" }, { "@classid" : "keyword", "@classname" : "keyword", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "$" : "FOS: Computer and information sciences" }, { "@classid" : "keyword", "@classname" : "keyword", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "Computer Science - Software Engineering" }, { "@classid" : "keyword", "@classname" : "keyword", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "Software Maintenance" }, { "@classid" : "keyword", "@classname" : "keyword", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "Software Bugs" }, { "@classid" : "keyword", "@classname" : "keyword", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "Software Testing" }, { "@classid" : "FOS", "@classname" : "Fields of Science and Technology classification", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "@inferred" : true, "@inferenceprovenance" : "update", "@provenanceaction" : "subject:fos", "$" : "0202 electrical engineering, electronic engineering, information engineering" }, { "@classid" : "keyword", "@classname" : "keyword", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "Automated Program Repair" }, { "@classid" : "keyword", "@classname" : "keyword", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "Defects" }, { "@classid" : "FOS", "@classname" : "Fields of Science and Technology classification", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "@inferred" : true, "@inferenceprovenance" : "update", "@provenanceaction" : "subject:fos", "$" : "02 engineering and technology" }, { "@classid" : "keyword", "@classname" : "keyword", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "[INFO] Computer Science [cs]" }, { "@classid" : "keyword", "@classname" : "keyword", "@schemeid" : "dnet:subject_classification_typologies", "@schemename" : "dnet:subject_classification_typologies", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "Evaluation Frameworks" } ], "language" : { "@classid" : "eng", "@classname" : "English", "@schemeid" : "dnet:languages", "@schemename" : "dnet:languages" }, "relevantdate" : [ { "@classid" : "created", "@classname" : "created", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "$" : "2019-02-01" }, { "@classid" : "published-print", "@classname" : "published-print", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "$" : "2019-05-01" }, { "@classid" : "submitted", "@classname" : "submitted", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "$" : "2018-02-09" }, { "@classid" : "updated", "@classname" : "updated", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "$" : "2018-02-12" }, { "@classid" : "submitted", "@classname" : "submitted", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "$" : "2018-08-09" }, { "@classid" : "updated", "@classname" : "updated", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "$" : "2018-08-10" }, { "@classid" : "submitted", "@classname" : "submitted", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "$" : "2019-01-23" }, { "@classid" : "updated", "@classname" : "updated", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "$" : "2019-02-13" }, { "@classid" : "available", "@classname" : "available", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "$" : "2018-01-01" }, { "@classid" : "issued", "@classname" : "issued", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "$" : "2018-01-01" }, { "@classid" : "UNKNOWN", "@classname" : "UNKNOWN", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "2022-04-25" }, { "@classid" : "updated", "@classname" : "updated", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "2024-05-18" }, { "@classid" : "available", "@classname" : "available", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "2022-04-27" }, { "@classid" : "issued", "@classname" : "issued", "@schemeid" : "dnet:dataCite_date", "@schemename" : "dnet:dataCite_date", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "2019-01-01" } ], "publisher" : { "$" : "Elsevier BV" }, "source" : { "$" : "Crossref" }, "format" : { "$" : "application/pdf" }, "resulttype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "resourcetype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "isgreen" : { "$" : true }, "openaccesscolor" : { "$" : "bronze" }, "isindiamondjournal" : { "$" : false }, "publiclyfunded" : { "$" : false }, "journal" : { "@issn" : "0164-1212", "@ep" : "80", "@sp" : "65", "@vol" : "151", "$" : "Journal of Systems and Software" }, "context" : { "@id" : "uarctic", "@label" : "UArctic", "@type" : "ri" }, "datainfo" : { "inferred" : { "$" : true }, "deletedbyinference" : { "$" : false }, "trust" : { "$" : "0.8" }, "inferenceprovenance" : { "$" : "dedup-result-decisiontree-v4" }, "provenanceaction" : { "@classid" : "sysimport:dedup", "@classname" : "Inferred by OpenAIRE", "@schemeid" : "dnet:provenanceActions", "@schemename" : "dnet:provenanceActions" } }, "rels" : { "rel" : [ { "@inferred" : true, "@trust" : "0.9", "@inferenceprovenance" : "iis::document_similarities_standard", "@provenanceaction" : "iis", "to" : { "@class" : "IsAmongTopNSimilarDocuments", "@scheme" : "dnet:result_result_relations", "@type" : "publication", "$" : "doi_dedup___::27436f978f22184ef4e5f56a0cd2cb00" }, "pid" : { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1145/2771783.2771791" }, "instance" : [ { "accessright" : { "@classid" : "UNKNOWN", "@classname" : "unspecified", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "https://dx.doi.org/10.1145/2771783.2771791" }, "webresource" : { "url" : { "$" : "https://dx.doi.org/10.1145/2771783.2771791" } } }, { "accessright" : { "@classid" : "CLOSED", "@classname" : "Closed Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "dateofacceptance" : { "$" : "2015-07-13" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0001", "@classname" : "peerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "https://www.acm.org/publications/policies/copyright_policy#Background" }, "url" : { "$" : "https://doi.org/10.1145/2771783.2771791" }, "webresource" : { "url" : { "$" : "https://doi.org/10.1145/2771783.2771791" } } }, { "accessright" : { "@classid" : "OPEN", "@classname" : "Open Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "CC BY NC" }, "url" : { "$" : "https://dspace.mit.edu/bitstream/1721.1/101586/1/940974634-MIT.pdf" }, "webresource" : { "url" : { "$" : "https://dspace.mit.edu/bitstream/1721.1/101586/1/940974634-MIT.pdf" } } } ], "creator" : [ { "$" : "Fan Long" }, { "$" : "Sara Achour" }, { "$" : "Zichao Qi" }, { "$" : "Martin Rinard" } ], "collectedfrom" : [ { "@name" : "UnpayWall", "@id" : "openaire____::8ac8380272269217cb09a928c8caa993" }, { "@name" : "Crossref", "@id" : "openaire____::081b82f96300b6a6e3d282bad31cb6e2" }, { "@name" : "Microsoft Academic Graph", "@id" : "openaire____::5f532a3fc4f1ea403f37070f59a7a53a" } ], "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "An analysis of patch plausibility and correctness for generate-and-validate patch generation systems" }, "dateofacceptance" : { "$" : "2015-07-13" }, "description" : { "$" : "We analyze reported patches for three existing generate-and- validate patch generation systems (GenProg, RSRepair, and AE). The basic principle behind generate-and-validate systems is to accept only plausible patches that produce correct outputs for all inputs in the validation test suite. Because of errors in the patch evaluation infrastructure, the majority of the reported patches are not plausible — they do not produce correct outputs even for the inputs in the validation test suite. The over" }, "publisher" : { "$" : "ACM" }, "resulttype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" } }, { "@inferred" : true, "@trust" : "1.0", "@inferenceprovenance" : "openaire:affiliation:graph", "@provenanceaction" : "result:organization:openaireinference", "to" : { "@class" : "hasAuthorInstitution", "@scheme" : "dnet:result_organization_relations", "@type" : "organization", "$" : "openorgs____::b165330573252f7af4eb4a207deb8d9b" }, "legalname" : { "$" : "University of Valenciennes and Hainaut-Cambresis" }, "websiteurl" : { "$" : "http://www.univ-valenciennes.fr/" }, "legalshortname" : { "$" : "UVHC" }, "country" : { "@classid" : "FR", "@classname" : "France", "@schemeid" : "dnet:countries", "@schemename" : "dnet:countries" } }, { "@inferred" : true, "@trust" : "0.9", "@inferenceprovenance" : "iis::document_similarities_standard", "@provenanceaction" : "iis", "to" : { "@class" : "IsAmongTopNSimilarDocuments", "@scheme" : "dnet:result_result_relations", "@type" : "publication", "$" : "doi_dedup___::2afeb60c2a909f954ea9f0d7e747b3ea" }, "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming" }, "instance" : [ { "accessright" : { "@classid" : "OPEN", "@classname" : "Open Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "arXiv.org e-Print Archive", "@id" : "opendoar____::6f4922f45568161a8cdf4ad2299f6d23" }, "dateofacceptance" : { "$" : "2017-12-21" }, "instancetype" : { "@classid" : "0016", "@classname" : "Preprint", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "http://arxiv.org/abs/1712.07804" }, "webresource" : { "url" : { "$" : "http://arxiv.org/abs/1712.07804" } } }, { "accessright" : { "@classid" : "UNKNOWN", "@classname" : "unspecified", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "dateofacceptance" : { "$" : "2017-01-01" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "arXiv Non-Exclusive Distribution" }, "url" : { "$" : "https://dx.doi.org/10.48550/arxiv.1712.07804" }, "webresource" : { "url" : { "$" : "https://dx.doi.org/10.48550/arxiv.1712.07804" } } }, { "accessright" : { "@classid" : "UNKNOWN", "@classname" : "unspecified", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "https://dx.doi.org/10.1109/tse.2018.2874648" }, "webresource" : { "url" : { "$" : "https://dx.doi.org/10.1109/tse.2018.2874648" } } }, { "accessright" : { "@classid" : "OPEN", "@classname" : "Open Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "IEEE Transactions on Software Engineering", "@id" : "issn___print::b8e7562a09c1da657aeab45c591fa818" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "http://arxiv.org/pdf/1712.07804" }, "webresource" : { "url" : { "$" : "http://arxiv.org/pdf/1712.07804" } } }, { "accessright" : { "@classid" : "CLOSED", "@classname" : "Closed Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "IEEE Transactions on Software Engineering", "@id" : "issn___print::b8e7562a09c1da657aeab45c591fa818" }, "dateofacceptance" : { "$" : "2020-10-01" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0001", "@classname" : "peerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "IEEE Copyright" }, "url" : { "$" : "https://doi.org/10.1109/tse.2018.2874648" }, "webresource" : { "url" : { "$" : "https://doi.org/10.1109/tse.2018.2874648" } } } ], "collectedfrom" : [ { "@name" : "arXiv.org e-Print Archive", "@id" : "opendoar____::6f4922f45568161a8cdf4ad2299f6d23" }, { "@name" : "UnpayWall", "@id" : "openaire____::8ac8380272269217cb09a928c8caa993" }, { "@name" : "Datacite", "@id" : "openaire____::9e3be59865b2c1c335d32dae2fe7b254" }, { "@name" : "Crossref", "@id" : "openaire____::081b82f96300b6a6e3d282bad31cb6e2" }, { "@name" : "Microsoft Academic Graph", "@id" : "openaire____::5f532a3fc4f1ea403f37070f59a7a53a" } ], "pid" : [ { "@classid" : "arXiv", "@classname" : "arXiv", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : 1712.07804 }, { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1109/tse.2018.2874648" }, { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "@inferred" : false, "@provenanceaction" : "sysimport:actionset", "@trust" : "0.9", "$" : "10.48550/arxiv.1712.07804" } ], "creator" : [ { "$" : "Wolfgang Banzhaf" }, { "$" : "Yuan Yuan" } ], "dateofacceptance" : { "$" : "2020-10-01" }, "description" : { "$" : "Recent empirical studies show that the performance of GenProg is not satisfactory, particularly for Java. In this paper, we propose ARJA, a new GP based repair approach for automated repair of Java programs. To be specific, we present a novel lower-granularity patch representation that properly decouples the search subspaces of likely-buggy locations, operation types and potential fix ingredients, enabling GP to explore the search space more effectively. Based on this new representation, we form" }, "resulttype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "publisher" : { "$" : "Institute of Electrical and Electronics Engineers (IEEE)" } }, { "@inferred" : true, "@trust" : "1.0", "@inferenceprovenance" : "openaire:affiliation:rawaff", "@provenanceaction" : "result:organization:openaireinference", "to" : { "@class" : "hasAuthorInstitution", "@scheme" : "dnet:result_organization_relations", "@type" : "organization", "$" : "openorgs____::7501d66d2297a963ebfb075c43fff88e" }, "legalname" : { "$" : "Royal Institute of Technology" }, "legalshortname" : { "$" : "KTH" }, "country" : { "@classid" : "SE", "@classname" : "Sweden", "@schemeid" : "dnet:countries", "@schemename" : "dnet:countries" }, "websiteurl" : { "$" : "http://www.kth.se/en" } }, { "@inferred" : true, "@trust" : "0.9", "@inferenceprovenance" : "iis::document_similarities_standard", "@provenanceaction" : "iis", "to" : { "@class" : "IsAmongTopNSimilarDocuments", "@scheme" : "dnet:result_result_relations", "@type" : "publication", "$" : "doi_dedup___::e8848c94e05b67fe2c54f065ca52a272" }, "creator" : [ { "$" : "Bo Huang" }, { "$" : "Xiaoning Zou" }, { "$" : "Yong Xu" }, { "$" : "Liying Kong" } ], "pid" : { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1007/s11859-018-1358-2" }, "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "Predicting Effectiveness of Generate-and-Validate Patch Generation Systems Using Random Forest" }, "publisher" : { "$" : "EDP Sciences" }, "description" : { "$" : "One way to improve practicability of automatic program repair (APR) techniques is to build prediction models which can predict whether an application of a APR technique on a bug is effective or not. Existing prediction models have some limitations. First, the prediction models are built with hand crafted features which usually fail to capture the semantic characteristics of program repair task. Second, the performance of the prediction models is only evaluated on Genprog, a genetic-programming b" }, "instance" : [ { "accessright" : { "@classid" : "UNKNOWN", "@classname" : "unspecified", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "https://dx.doi.org/10.1007/s11859-018-1358-2" }, "webresource" : { "url" : { "$" : "https://dx.doi.org/10.1007/s11859-018-1358-2" } } }, { "accessright" : { "@classid" : "CLOSED", "@classname" : "Closed Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Wuhan University Journal of Natural Sciences", "@id" : "issn___print::6b30f731f882efc884f7b57ce1aeaf25" }, "dateofacceptance" : { "$" : "2018-12-01" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0001", "@classname" : "peerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "Springer TDM" }, "url" : { "$" : "https://doi.org/10.1007/s11859-018-1358-2" }, "webresource" : { "url" : { "$" : "https://doi.org/10.1007/s11859-018-1358-2" } } } ], "resulttype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "collectedfrom" : [ { "@name" : "Crossref", "@id" : "openaire____::081b82f96300b6a6e3d282bad31cb6e2" }, { "@name" : "Microsoft Academic Graph", "@id" : "openaire____::5f532a3fc4f1ea403f37070f59a7a53a" } ], "dateofacceptance" : { "$" : "2018-12-01" } }, { "@inferred" : true, "@trust" : "1.0", "@inferenceprovenance" : "openaire:affiliation:graph", "@provenanceaction" : "result:organization:openaireinference", "to" : { "@class" : "hasAuthorInstitution", "@scheme" : "dnet:result_organization_relations", "@type" : "organization", "$" : "openorgs____::7fbdf9cd4423c4604745a16afe728bc7" }, "country" : { "@classid" : "FR", "@classname" : "France", "@schemeid" : "dnet:countries", "@schemename" : "dnet:countries" }, "legalshortname" : { "$" : "CNRS" }, "legalname" : { "$" : "French National Centre for Scientific Research" }, "websiteurl" : { "$" : "http://www.cnrs.fr/index.php" } }, { "@inferred" : true, "@trust" : "0.72", "@inferenceprovenance" : "iis::document_software_url", "@provenanceaction" : "iis", "to" : { "@class" : "IsRelatedTo", "@scheme" : "dnet:result_result_relations", "@type" : "software", "$" : "openaire____::25b09cf9d67107e11d58b852e04b2726" }, "collectedfrom" : [ { "@name" : "Software Heritage", "@id" : "openaire____::dbfd07503aaa1ed31beed7dec942f3f4" }, { "@name" : "GitHub", "@id" : "openaire____::d3b7c913cd04ebfec0e9ec32cb6fd58c" } ], "instance" : [ { "accessright" : { "@classid" : "OPEN SOURCE", "@classname" : "Open Source", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "GitHub", "@id" : "openaire____::d3b7c913cd04ebfec0e9ec32cb6fd58c" }, "instancetype" : { "@classid" : "0029", "@classname" : "Software", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "https://github.com/SpoonLabs/CoCoSpoon" }, "webresource" : { "url" : { "$" : "https://github.com/SpoonLabs/CoCoSpoon" } } }, { "accessright" : { "@classid" : "OPEN SOURCE", "@classname" : "Open Source", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Software Heritage", "@id" : "openaire____::dbfd07503aaa1ed31beed7dec942f3f4" }, "instancetype" : { "@classid" : "0029", "@classname" : "Software", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "https://archive.softwareheritage.org/browse/origin/https://github.com/SpoonLabs/CoCoSpoon" }, "webresource" : { "url" : { "$" : "https://archive.softwareheritage.org/browse/origin/https://github.com/SpoonLabs/CoCoSpoon" } } } ], "resulttype" : { "@classid" : "software", "@classname" : "software", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "description" : { "$" : "A library to compute statement-level code coverage using source code transformation with Spoon" }, "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "CoCoSpoon software on GitHub" } }, { "@inferred" : true, "@trust" : "0.72", "@inferenceprovenance" : "iis::document_software_url", "@provenanceaction" : "iis", "to" : { "@class" : "IsRelatedTo", "@scheme" : "dnet:result_result_relations", "@type" : "software", "$" : "openaire____::ee932f2fde7a61c72a58b8d338e54ff8" }, "collectedfrom" : [ { "@name" : "Software Heritage", "@id" : "openaire____::dbfd07503aaa1ed31beed7dec942f3f4" }, { "@name" : "GitHub", "@id" : "openaire____::d3b7c913cd04ebfec0e9ec32cb6fd58c" } ], "instance" : [ { "accessright" : { "@classid" : "OPEN SOURCE", "@classname" : "Open Source", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "GitHub", "@id" : "openaire____::d3b7c913cd04ebfec0e9ec32cb6fd58c" }, "instancetype" : { "@classid" : "0029", "@classname" : "Software", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "https://github.com/SpoonLabs/astor" }, "webresource" : { "url" : { "$" : "https://github.com/SpoonLabs/astor" } } }, { "accessright" : { "@classid" : "OPEN SOURCE", "@classname" : "Open Source", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Software Heritage", "@id" : "openaire____::dbfd07503aaa1ed31beed7dec942f3f4" }, "instancetype" : { "@classid" : "0029", "@classname" : "Software", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "https://archive.softwareheritage.org/browse/origin/https://github.com/SpoonLabs/astor" }, "webresource" : { "url" : { "$" : "https://archive.softwareheritage.org/browse/origin/https://github.com/SpoonLabs/astor" } } } ], "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "astor software on GitHub" }, "resulttype" : { "@classid" : "software", "@classname" : "software", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "description" : { "$" : "automatic program repair for Java with generate-and-validate techniques - jGenProg (GenProg for Java) - jKali - jMutRepair - DeepRepair - Cardumen" } }, { "@inferred" : true, "@trust" : "0.9", "@inferenceprovenance" : "iis::document_similarities_standard", "@provenanceaction" : "iis", "to" : { "@class" : "IsAmongTopNSimilarDocuments", "@scheme" : "dnet:result_result_relations", "@type" : "publication", "$" : "doi_dedup___::f2dac0722e794efdc7e8c06d93276a7a" }, "creator" : [ { "$" : "Jinqiu Yang" }, { "$" : "Lin Tan" }, { "$" : "Alexey Zhikhartsev" }, { "$" : "Yuefei Liu" } ], "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "Better test cases for better automated program repair" }, "pid" : { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1145/3106237.3106274" }, "description" : { "$" : "Automated generate-and-validate program repair techniques (G&V techniques) suffer from generating many overfitted patches due to in-capabilities of test cases. Such overfitted patches are incor- rect patches, which only make all given test cases pass, but fail to fix the bugs. In this work, we propose an overfitted patch detec- tion framework named Opad (Overfitted PAtch Detection). Opad helps improve G&V techniques by enhancing existing test cases to filter out overfitted patches. To enhance te" }, "dateofacceptance" : { "$" : "2017-08-21" }, "publisher" : { "$" : "ACM" }, "instance" : [ { "accessright" : { "@classid" : "UNKNOWN", "@classname" : "unspecified", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "https://dx.doi.org/10.1145/3106237.3106274" }, "webresource" : { "url" : { "$" : "https://dx.doi.org/10.1145/3106237.3106274" } } }, { "accessright" : { "@classid" : "CLOSED", "@classname" : "Closed Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "dateofacceptance" : { "$" : "2017-08-21" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0001", "@classname" : "peerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "https://www.acm.org/publications/policies/copyright_policy#Background" }, "url" : { "$" : "https://doi.org/10.1145/3106237.3106274" }, "webresource" : { "url" : { "$" : "https://doi.org/10.1145/3106237.3106274" } } } ], "resulttype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "collectedfrom" : [ { "@name" : "Crossref", "@id" : "openaire____::081b82f96300b6a6e3d282bad31cb6e2" }, { "@name" : "Microsoft Academic Graph", "@id" : "openaire____::5f532a3fc4f1ea403f37070f59a7a53a" } ] }, { "@inferred" : true, "@trust" : "0.9", "@inferenceprovenance" : "iis::document_similarities_standard", "@provenanceaction" : "iis", "to" : { "@class" : "IsAmongTopNSimilarDocuments", "@scheme" : "dnet:result_result_relations", "@type" : "publication", "$" : "doi_dedup___::930a0ca2032664370481ee980e953700" }, "creator" : [ { "$" : "Abhik Roychoudhury" }, { "$" : "Sergey Mechtaev" }, { "$" : "Jooyong Yi" } ], "description" : { "$" : "Since debugging is a time-consuming activity, automated program repair tools such as GenProg have garnered interest. A recent study revealed that the majority of GenProg repairs avoid bugs simply by deleting functionality. We found that SPR, a state-of-the-art repair tool proposed in 2015, still deletes functionality in their many \"plausible\" repairs. Unlike generate-and-validate systems such as GenProg and SPR, semantic analysis based repair techniques synthesize a repair based on semantic info" }, "instance" : [ { "accessright" : { "@classid" : "CLOSED", "@classname" : "Closed Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "dateofacceptance" : { "$" : "2016-05-14" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0001", "@classname" : "peerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "https://www.acm.org/publications/policies/copyright_policy#Background" }, "url" : { "$" : "https://doi.org/10.1145/2884781.2884807" }, "webresource" : { "url" : { "$" : "https://doi.org/10.1145/2884781.2884807" } } }, { "accessright" : { "@classid" : "UNKNOWN", "@classname" : "unspecified", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "https://dx.doi.org/10.1145/2884781.2884807" }, "webresource" : { "url" : { "$" : "https://dx.doi.org/10.1145/2884781.2884807" } } } ], "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "Angelix" }, "dateofacceptance" : { "$" : "2016-05-14" }, "publisher" : { "$" : "ACM" }, "pid" : { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1145/2884781.2884807" }, "resulttype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "collectedfrom" : [ { "@name" : "Crossref", "@id" : "openaire____::081b82f96300b6a6e3d282bad31cb6e2" }, { "@name" : "Microsoft Academic Graph", "@id" : "openaire____::5f532a3fc4f1ea403f37070f59a7a53a" } ] } ] }, "children" : { "result" : [ { "@objidentifier" : "arXiv_______::92e6c8fa323f37ced1c00f60568291ae", "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg" }, "creator" : [ { "$" : "Martinez, Matias" }, { "$" : "Monperrus, Martin" } ], "dateofacceptance" : { "$" : "2018-02-09" }, "collectedfrom" : { "@name" : "arXiv.org e-Print Archive", "@id" : "opendoar____::6f4922f45568161a8cdf4ad2299f6d23" }, "resulttype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "pid" : { "@classid" : "arXiv", "@classname" : "arXiv", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : 1802.03365 }, "description" : { "$" : "During last years, researches have proposed novel repair approaches that automatically generate patches for repairing software bugs. Repair approaches can be loosely characterized along the main design philosophy such generate- and-validate or synthesis-based. Each of those repair approaches is a point in the design space of program repair. Our goal is to facilitate the design, development and evaluation of repair approaches by providing a framework that: a) contains components commonly present " }, "instance" : { "accessright" : { "@classid" : "OPEN", "@classname" : "Open Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "arXiv.org e-Print Archive", "@id" : "opendoar____::6f4922f45568161a8cdf4ad2299f6d23" }, "dateofacceptance" : { "$" : "2018-02-09" }, "instancetype" : { "@classid" : "0016", "@classname" : "Preprint", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "http://arxiv.org/abs/1802.03365" }, "webresource" : { "url" : { "$" : "http://arxiv.org/abs/1802.03365" } } } }, { "@objidentifier" : "a9ac50f576aa::46e80150eb1a3c4cf4b039bd9c84b944", "dateofacceptance" : { "$" : "2019-01-01" }, "description" : { "$" : "This article contributes to defining the design space of program repair. Repair approaches can be loosely characterized according to the main design philosophy, in particular “generate- and-validate” and synthesis-based approaches. Each of those repair approaches is a point in the design space of program repair. Our goal is to facilitate the design, development and evaluation of repair approaches by providing a framework that: a) contains components commonly present in most approaches, b) provid" }, "creator" : [ { "$" : "Martinez, Matias" }, { "$" : "Monperrus, Martin" } ], "collectedfrom" : { "@name" : "Hal", "@id" : "openaire____::39e33d59918c2cb40d10ae244f1fe019" }, "resulttype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : "Astor: Exploring the design space of generate-and-validate program repair beyond GenProg" }, "instance" : { "accessright" : { "@classid" : "OPEN", "@classname" : "Open Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Hal", "@id" : "openaire____::39e33d59918c2cb40d10ae244f1fe019" }, "dateofacceptance" : { "$" : "2019-01-01" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : [ { "$" : "https://uphf.hal.science/hal-03574624v1" }, { "$" : "https://uphf.hal.science/hal-03574624v1/document" }, { "$" : "https://doi.org/10.1016/j.jss.2019.01.069" } ], "webresource" : [ { "url" : { "$" : "https://uphf.hal.science/hal-03574624v1" } }, { "url" : { "$" : "https://uphf.hal.science/hal-03574624v1/document" } }, { "url" : { "$" : "https://doi.org/10.1016/j.jss.2019.01.069" } } ] } }, { "@objidentifier" : "doi_________::832d6c088969e8316c107cc9d34c6031", "instance" : [ { "accessright" : { "@classid" : "OPEN", "@classname" : "Open Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Journal of Systems and Software", "@id" : "issn___print::f8c3d550181d9cb5b7e52cb465dbd233" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "url" : { "$" : "http://arxiv.org/pdf/1802.03365" }, "webresource" : { "url" : { "$" : "http://arxiv.org/pdf/1802.03365" } } }, { "accessright" : { "@classid" : "CLOSED", "@classname" : "Closed Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Journal of Systems and Software", "@id" : "issn___print::f8c3d550181d9cb5b7e52cb465dbd233" }, "dateofacceptance" : { "$" : "2019-05-01" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0001", "@classname" : "peerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "Elsevier TDM" }, "url" : { "$" : "https://doi.org/10.1016/j.jss.2019.01.069" }, "webresource" : { "url" : { "$" : "https://doi.org/10.1016/j.jss.2019.01.069" } } } ], "pid" : { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1016/j.jss.2019.01.069" }, "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "Astor: Exploring the design space of generate-and-validate program repair beyond GenProg" }, "resulttype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "collectedfrom" : [ { "@name" : "Crossref", "@id" : "openaire____::081b82f96300b6a6e3d282bad31cb6e2" }, { "@name" : "UnpayWall", "@id" : "openaire____::8ac8380272269217cb09a928c8caa993" } ], "creator" : [ { "$" : "Matias Martinez" }, { "$" : "Martin Monperrus" } ], "publisher" : { "$" : "Elsevier BV" }, "dateofacceptance" : { "$" : "2019-05-01" } }, { "@objidentifier" : "doi_________::13d440e34e9b4292575d3442b0594a72", "title" : { "@classid" : "main title", "@classname" : "main title", "@schemeid" : "dnet:dataCite_title", "@schemename" : "dnet:dataCite_title", "$" : "Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg" }, "creator" : [ { "$" : "Martinez, Matias" }, { "$" : "Monperrus, Martin" } ], "instance" : { "accessright" : { "@classid" : "UNKNOWN", "@classname" : "unspecified", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "dateofacceptance" : { "$" : "2018-01-01" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "arXiv Non-Exclusive Distribution" }, "url" : { "$" : "https://dx.doi.org/10.48550/arxiv.1802.03365" }, "webresource" : { "url" : { "$" : "https://dx.doi.org/10.48550/arxiv.1802.03365" } } }, "publisher" : { "$" : "arXiv" }, "resulttype" : { "@classid" : "publication", "@classname" : "publication", "@schemeid" : "dnet:result_typologies", "@schemename" : "dnet:result_typologies" }, "pid" : { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "@inferred" : false, "@provenanceaction" : "sysimport:actionset", "@trust" : "0.9", "$" : "10.48550/arxiv.1802.03365" }, "dateofacceptance" : { "$" : "2018-01-01" }, "collectedfrom" : { "@name" : "Datacite", "@id" : "openaire____::9e3be59865b2c1c335d32dae2fe7b254" }, "description" : { "$" : "During last years, researches have proposed novel repair approaches that automatically generate patches for repairing software bugs. Repair approaches can be loosely characterized along the main design philosophy such generate- and-validate or synthesis-based. Each of those repair approaches is a point in the design space of program repair. Our goal is to facilitate the design, development and evaluation of repair approaches by providing a framework that: a) contains components commonly present " } } ], "instance" : [ { "accessright" : { "@classid" : "OPEN", "@classname" : "Open Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "collectedfrom" : { "@name" : "Hal", "@id" : "openaire____::39e33d59918c2cb40d10ae244f1fe019" }, "hostedby" : { "@name" : "Hal", "@id" : "openaire____::39e33d59918c2cb40d10ae244f1fe019" }, "dateofacceptance" : { "$" : "2019-01-01" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "alternateidentifier" : [ { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1016/j.jss.2019.01.069" }, { "@classid" : "arXiv", "@classname" : "arXiv", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : 1802.03365 } ], "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "webresource" : { "url" : { "$" : "https://uphf.hal.science/hal-03574624v1" } } }, { "accessright" : { "@classid" : "UNKNOWN", "@classname" : "unspecified", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "collectedfrom" : { "@name" : "Datacite", "@id" : "openaire____::9e3be59865b2c1c335d32dae2fe7b254" }, "hostedby" : { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, "dateofacceptance" : { "$" : "2018-01-01" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "pid" : { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "@inferred" : false, "@provenanceaction" : "sysimport:actionset", "@trust" : "0.9", "$" : "10.48550/arxiv.1802.03365" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "arXiv Non-Exclusive Distribution" }, "webresource" : { "url" : { "$" : "https://doi.org/10.48550/arxiv.1802.03365" } } }, { "accessright" : { "@classid" : "CLOSED", "@classname" : "Closed Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "collectedfrom" : [ { "@name" : "Microsoft Academic Graph", "@id" : "openaire____::5f532a3fc4f1ea403f37070f59a7a53a" }, { "@name" : "Microsoft Academic Graph", "@id" : "openaire____::5f532a3fc4f1ea403f37070f59a7a53a" }, { "@name" : "Crossref", "@id" : "openaire____::081b82f96300b6a6e3d282bad31cb6e2" } ], "hostedby" : [ { "@name" : "Journal of Systems and Software", "@id" : "issn___print::f8c3d550181d9cb5b7e52cb465dbd233" }, { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" }, { "@name" : "Unknown Repository", "@id" : "openaire____::55045bd2a65019fd8e6741a755395c8c" } ], "dateofacceptance" : { "$" : "2019-05-01" }, "instancetype" : [ { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, { "@classid" : "0038", "@classname" : "Other literature type", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" } ], "pid" : { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1016/j.jss.2019.01.069" }, "alternateidentifier" : [ { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1016/j.jss.2019.01.069" }, { "@classid" : "mag_id", "@classname" : "Microsoft Academic Graph Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : 2787871251 }, { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1016/j.jss.2019.01.069" }, { "@classid" : "mag_id", "@classname" : "Microsoft Academic Graph Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : 3098154879 } ], "refereed" : { "@classid" : "0001", "@classname" : "peerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "license" : { "$" : "Elsevier TDM" }, "webresource" : { "url" : { "$" : "https://doi.org/10.1016/j.jss.2019.01.069" } } }, { "accessright" : { "@classid" : "OPEN", "@classname" : "Open Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "collectedfrom" : { "@name" : "arXiv.org e-Print Archive", "@id" : "opendoar____::6f4922f45568161a8cdf4ad2299f6d23" }, "hostedby" : { "@name" : "arXiv.org e-Print Archive", "@id" : "opendoar____::6f4922f45568161a8cdf4ad2299f6d23" }, "dateofacceptance" : { "$" : "2018-02-09" }, "instancetype" : { "@classid" : "0016", "@classname" : "Preprint", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "pid" : { "@classid" : "arXiv", "@classname" : "arXiv", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "@inferred" : false, "@provenanceaction" : "sysimport:crosswalk:repository", "@trust" : "0.9", "$" : 1802.03365 }, "alternateidentifier" : { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1016/j.jss.2019.01.069" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "webresource" : { "url" : { "$" : "http://arxiv.org/abs/1802.03365" } } }, { "accessright" : { "@classid" : "OPEN", "@classname" : "Open Access", "@schemeid" : "dnet:access_modes", "@schemename" : "dnet:access_modes" }, "collectedfrom" : { "@name" : "UnpayWall", "@id" : "openaire____::8ac8380272269217cb09a928c8caa993" }, "hostedby" : { "@name" : "Journal of Systems and Software", "@id" : "issn___print::f8c3d550181d9cb5b7e52cb465dbd233" }, "instancetype" : { "@classid" : "0001", "@classname" : "Article", "@schemeid" : "dnet:publication_resource", "@schemename" : "dnet:publication_resource" }, "pid" : { "@classid" : "doi", "@classname" : "Digital Object Identifier", "@schemeid" : "dnet:pid_types", "@schemename" : "dnet:pid_types", "$" : "10.1016/j.jss.2019.01.069" }, "refereed" : { "@classid" : "0002", "@classname" : "nonPeerReviewed", "@schemeid" : "dnet:review_levels", "@schemename" : "dnet:review_levels" }, "webresource" : { "url" : { "$" : "http://arxiv.org/pdf/1802.03365" } } } ] } }, "extraInfo" : [ { "@name" : "result reference list", "@typology" : "reference list", "@provenance" : "iis::document_referencedDocuments", "@trust" : "0.9", "references" : { "reference" : [ { "@position" : "1", "rawText" : { "$" : "[1] Rui Abreu, Peter Zoeteweij, and Arjan J. C. van Gemund. An evaluation of similarity coe cients for software fault localization. In Proceedings of the 12th Paci c Rim International Symposium on Dependable Computing, PRDC '06, pages 39{46, 2006." } }, { "@position" : "2", "rawText" : { "$" : "[2] Andrea Arcuri. Evolutionary repair of faulty software. Appl. Soft Comput., 11(4):3494{3514, June 2011." } }, { "@position" : "3", "rawText" : { "$" : "[3] Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro. The plastic surgery hypothesis. In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pages 306{317, New York, NY, USA, 2014. ACM." } }, { "@position" : "4", "rawText" : { "$" : "[4] J. Campos, A. Riboira, A. Perez, and R. Abreu. Gzoltar: an eclipse plugin for testing and debugging. In 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, pages 378{ 381, Sept 2012." } }, { "@position" : "5", "rawText" : { "$" : "[5] Liushan Chen, Yu Pei, and Carlo A. Furia. Contract-based program repair without the contracts. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 637{647, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "6", "rawText" : { "$" : "[6] Vidroha Debroy and W. Eric Wong. Using mutation to automatically suggest xes for faulty programs. In Proceedings of the 2010 Third International Conference on Software Testing, Veri cation and Validation, ICST '10, pages 65{74, 2010." } }, { "@position" : "7", "rawText" : { "$" : "[7] R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34{41, April 1978." }, "id" : { "@value" : "doi_________::4c0701bc503737e6775afb6cb99781cc", "@type" : "openaire", "@trustLevel" : "0.6226824" } }, { "@position" : "8", "rawText" : { "$" : "[8] T. Durieux, B. Cornu, L. Seinturier, and M. Monperrus. Dynamic patch generation for null pointer exceptions using metaprogramming. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pages 349{358, Feb 2017." } }, { "@position" : "9", "rawText" : { "$" : "[11] S. Forrest, T.V. Nguyen, W. Weimer, and C. Le Goues. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation, pages 947{954. ACM, 2009." } }, { "@position" : "10", "rawText" : { "$" : "[13] C. Le Goues, N. Holtschulte, E. K. Smith, Y. Brun, P. Devanbu, S. Forrest, and W. Weimer. The manybugs and introclass benchmarks for automated repair of c programs. IEEE Transactions on Software Engineering, 41(12):1236{1256, Dec 2015." } }, { "@position" : "11", "rawText" : { "$" : "[14] C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer. Genprog: A generic method for automatic software repair. IEEE Transactions on Software Engineering, 38(1):54{72, Jan 2012." } }, { "@position" : "12", "rawText" : { "$" : "[15] R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng., 3(4):279{290, July 1977." } }, { "@position" : "13", "rawText" : { "$" : "[21] John R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA, 1992." } }, { "@position" : "14", "rawText" : { "$" : "[22] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. J x: Semantics-based repair of java programs via symbolic path nder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, pages 376{379, New York, NY, USA, 2017. ACM." } }, { "@position" : "15", "rawText" : { "$" : "[23] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 593{604, New York, NY, USA, 2017. ACM." } }, { "@position" : "16", "rawText" : { "$" : "[24] Xuan Bach D Le, David Lo, and Claire Le Goues. History driven program repair. In Software Analysis, Evolution, and Reengineering (SANER), 2016 IEEE 23rd International Conference on, volume 1, pages 213{224. IEEE, 2016." } }, { "@position" : "17", "rawText" : { "$" : "[25] Xuan-Bach D. Le, Ferdian Thung, David Lo, and Claire Le Goues. Overtting in semantics-based automated program repair. In Proceedings of the 40th International Conference on Software Engineering, ICSE '18, pages 163{163, New York, NY, USA, 2018. ACM." } }, { "@position" : "18", "rawText" : { "$" : "[26] Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In Proceedings of the 34th International Conference on Software Engineering, ICSE '12, pages 3{13, Piscataway, NJ, USA, 2012. IEEE Press." } }, { "@position" : "19", "rawText" : { "$" : "[27] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair. arXiv preprint arXiv:1706.09120, 2017." }, "id" : { "@value" : "doi_________::8699f3095e01d0c84d2b5a38b113daac", "@type" : "openaire", "@trustLevel" : "0.61642104" } }, { "@position" : "20", "rawText" : { "$" : "[28] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair, 2017." }, "id" : { "@value" : "doi_________::8699f3095e01d0c84d2b5a38b113daac", "@type" : "openaire", "@trustLevel" : "0.61642104" } }, { "@position" : "21", "rawText" : { "$" : "[29] Liu, Yuefei. Understanding and generating patches for bugs introduced by third-party library upgrades. Master's thesis, 2017." } }, { "@position" : "22", "rawText" : { "$" : "[30] Fan Long, Peter Amidon, and Martin Rinard. Automatic inference of code transforms for patch generation. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 727{739, New York, NY, USA, 2017. ACM." } }, { "@position" : "23", "rawText" : { "$" : "[43] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. Does genetic programming work well on automated program repair? In Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on, pages 1875{1878. IEEE, 2013." } }, { "@position" : "24", "rawText" : { "$" : "[44] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. The strength of random search on automated program repair. In Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pages 254{265, New York, NY, USA, 2014. ACM." } }, { "@position" : "25", "rawText" : { "$" : "[45] Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang. Using automated program repair for evaluating the e ectiveness of fault localization techniques. In Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, pages 191{201, New York, NY, USA, 2013. ACM." } }, { "@position" : "26", "rawText" : { "$" : "[46] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "27", "rawText" : { "$" : "[47] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "28", "rawText" : { "$" : "[48] Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad. Elixir: E ective object oriented program repair. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 648{659, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "29", "rawText" : { "$" : "[49] Edward K Smith, Earl T Barr, Claire Le Goues, and Yuriy Brun. Is the cure worse than the disease? over tting in automated program repair. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pages 532{543. ACM, 2015." } }, { "@position" : "30", "rawText" : { "$" : "[50] A. Tanikado, H. Yokoyama, M. Yamamoto, S. Sumi, Y. Higo, and S. Kusumoto. New strategies for selecting reuse candidates on automated program repair. In 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), volume 2, pages 266{267, July 2017." }, "id" : { "@value" : "doi_________::066c4c4de4772aea65792bb743fa860f", "@type" : "openaire", "@trustLevel" : "0.6719784" } }, { "@position" : "31", "rawText" : { "$" : "[62] H. Yokoyama, Y. Higo, and S. Kusumoto. Evaluating automated program repair using characteristics of defects. In 2017 8th International Workshop on Empirical Software Engineering in Practice (IWESEP), pages 47{52, March 2017." } }, { "@position" : "32", "rawText" : { "$" : "[63] Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, and Martin Monperrus. Test Case Generation for Program Repair: A Study of Feasibility and E ectiveness. Technical Report 1703.00198, Arxiv, 2017." } } ] } }, { "@name" : "result reference list", "@typology" : "reference list", "@provenance" : "iis::document_referencedDocuments", "@trust" : "0.9", "references" : { "reference" : [ { "@position" : "1", "rawText" : { "$" : "[1] Rui Abreu, Peter Zoeteweij, and Arjan J. C. van Gemund. An evaluation of similarity coe cients for software fault localization. In Proceedings of the 12th Paci c Rim International Symposium on Dependable Computing, PRDC '06, pages 39{46, 2006." } }, { "@position" : "2", "rawText" : { "$" : "[2] Andrea Arcuri. Evolutionary repair of faulty software. Appl. Soft Comput., 11(4):3494{3514, June 2011." } }, { "@position" : "3", "rawText" : { "$" : "[3] Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro. The plastic surgery hypothesis. In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pages 306{317, New York, NY, USA, 2014. ACM." } }, { "@position" : "4", "rawText" : { "$" : "[4] J. Campos, A. Riboira, A. Perez, and R. Abreu. Gzoltar: an eclipse plugin for testing and debugging. In 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, pages 378{ 381, Sept 2012." } }, { "@position" : "5", "rawText" : { "$" : "[5] Liushan Chen, Yu Pei, and Carlo A. Furia. Contract-based program repair without the contracts. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 637{647, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "6", "rawText" : { "$" : "[6] Vidroha Debroy and W. Eric Wong. Using mutation to automatically suggest xes for faulty programs. In Proceedings of the 2010 Third International Conference on Software Testing, Veri cation and Validation, ICST '10, pages 65{74, 2010." } }, { "@position" : "7", "rawText" : { "$" : "[7] R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34{41, April 1978." }, "id" : { "@value" : "doi_________::4c0701bc503737e6775afb6cb99781cc", "@type" : "openaire", "@trustLevel" : "0.6226824" } }, { "@position" : "8", "rawText" : { "$" : "[8] T. Durieux, B. Cornu, L. Seinturier, and M. Monperrus. Dynamic patch generation for null pointer exceptions using metaprogramming. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pages 349{358, Feb 2017." } }, { "@position" : "9", "rawText" : { "$" : "[11] S. Forrest, T.V. Nguyen, W. Weimer, and C. Le Goues. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation, pages 947{954. ACM, 2009." } }, { "@position" : "10", "rawText" : { "$" : "[13] C. Le Goues, N. Holtschulte, E. K. Smith, Y. Brun, P. Devanbu, S. Forrest, and W. Weimer. The manybugs and introclass benchmarks for automated repair of c programs. IEEE Transactions on Software Engineering, 41(12):1236{1256, Dec 2015." } }, { "@position" : "11", "rawText" : { "$" : "[14] C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer. Genprog: A generic method for automatic software repair. IEEE Transactions on Software Engineering, 38(1):54{72, Jan 2012." } }, { "@position" : "12", "rawText" : { "$" : "[15] R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng., 3(4):279{290, July 1977." } }, { "@position" : "13", "rawText" : { "$" : "[21] John R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA, 1992." } }, { "@position" : "14", "rawText" : { "$" : "[22] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. J x: Semantics-based repair of java programs via symbolic path nder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, pages 376{379, New York, NY, USA, 2017. ACM." } }, { "@position" : "15", "rawText" : { "$" : "[23] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 593{604, New York, NY, USA, 2017. ACM." } }, { "@position" : "16", "rawText" : { "$" : "[24] Xuan Bach D Le, David Lo, and Claire Le Goues. History driven program repair. In Software Analysis, Evolution, and Reengineering (SANER), 2016 IEEE 23rd International Conference on, volume 1, pages 213{224. IEEE, 2016." } }, { "@position" : "17", "rawText" : { "$" : "[25] Xuan-Bach D. Le, Ferdian Thung, David Lo, and Claire Le Goues. Overtting in semantics-based automated program repair. In Proceedings of the 40th International Conference on Software Engineering, ICSE '18, pages 163{163, New York, NY, USA, 2018. ACM." } }, { "@position" : "18", "rawText" : { "$" : "[26] Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In Proceedings of the 34th International Conference on Software Engineering, ICSE '12, pages 3{13, Piscataway, NJ, USA, 2012. IEEE Press." } }, { "@position" : "19", "rawText" : { "$" : "[27] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair. arXiv preprint arXiv:1706.09120, 2017." }, "id" : { "@value" : "doi_________::8699f3095e01d0c84d2b5a38b113daac", "@type" : "openaire", "@trustLevel" : "0.61642104" } }, { "@position" : "20", "rawText" : { "$" : "[28] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair, 2017." }, "id" : { "@value" : "doi_________::8699f3095e01d0c84d2b5a38b113daac", "@type" : "openaire", "@trustLevel" : "0.61642104" } }, { "@position" : "21", "rawText" : { "$" : "[29] Liu, Yuefei. Understanding and generating patches for bugs introduced by third-party library upgrades. Master's thesis, 2017." } }, { "@position" : "22", "rawText" : { "$" : "[30] Fan Long, Peter Amidon, and Martin Rinard. Automatic inference of code transforms for patch generation. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 727{739, New York, NY, USA, 2017. ACM." } }, { "@position" : "23", "rawText" : { "$" : "[43] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. Does genetic programming work well on automated program repair? In Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on, pages 1875{1878. IEEE, 2013." } }, { "@position" : "24", "rawText" : { "$" : "[44] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. The strength of random search on automated program repair. In Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pages 254{265, New York, NY, USA, 2014. ACM." } }, { "@position" : "25", "rawText" : { "$" : "[45] Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang. Using automated program repair for evaluating the e ectiveness of fault localization techniques. In Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, pages 191{201, New York, NY, USA, 2013. ACM." } }, { "@position" : "26", "rawText" : { "$" : "[46] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "27", "rawText" : { "$" : "[47] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "28", "rawText" : { "$" : "[48] Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad. Elixir: E ective object oriented program repair. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 648{659, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "29", "rawText" : { "$" : "[49] Edward K Smith, Earl T Barr, Claire Le Goues, and Yuriy Brun. Is the cure worse than the disease? over tting in automated program repair. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pages 532{543. ACM, 2015." } }, { "@position" : "30", "rawText" : { "$" : "[50] A. Tanikado, H. Yokoyama, M. Yamamoto, S. Sumi, Y. Higo, and S. Kusumoto. New strategies for selecting reuse candidates on automated program repair. In 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), volume 2, pages 266{267, July 2017." }, "id" : { "@value" : "doi_________::066c4c4de4772aea65792bb743fa860f", "@type" : "openaire", "@trustLevel" : "0.6719784" } }, { "@position" : "31", "rawText" : { "$" : "[62] H. Yokoyama, Y. Higo, and S. Kusumoto. Evaluating automated program repair using characteristics of defects. In 2017 8th International Workshop on Empirical Software Engineering in Practice (IWESEP), pages 47{52, March 2017." } }, { "@position" : "32", "rawText" : { "$" : "[63] Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, and Martin Monperrus. Test Case Generation for Program Repair: A Study of Feasibility and E ectiveness. Technical Report 1703.00198, Arxiv, 2017." } } ] } }, { "@name" : "result reference list", "@typology" : "reference list", "@provenance" : "iis::document_referencedDocuments", "@trust" : "0.9", "references" : { "reference" : [ { "@position" : "1", "rawText" : { "$" : "[2] Rui Abreu, Peter Zoeteweij, Rob Golsteijn, and Arjan J.C. van Gemund. A practical evaluation of spectrum-based fault localization. Journal of Systems and Software, 82(11):1780 - 1792, 2009. SI: TAIC PART 2007 and MUTATION 2007." } }, { "@position" : "2", "rawText" : { "$" : "[3] Andrea Arcuri. Evolutionary repair of faulty software. Appl. Soft Comput., 11(4):3494-3514, June 2011." } }, { "@position" : "3", "rawText" : { "$" : "[4] Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro. The plastic surgery hypothesis. In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pages 306-317, New York, NY, USA, 2014. ACM." } }, { "@position" : "4", "rawText" : { "$" : "[5] J. Campos, A. Riboira, A. Perez, and R. Abreu. Gzoltar: an eclipse plugin for testing and debugging. In 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, pages 378- 381, Sept 2012." } }, { "@position" : "5", "rawText" : { "$" : "[6] Liushan Chen, Yu Pei, and Carlo A. Furia. Contract-based program repair without the contracts. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 637-647, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "6", "rawText" : { "$" : "[7] Vidroha Debroy and W. Eric Wong. Using mutation to automatically suggest fixes for faulty programs. In Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation, ICST '10, pages 65-74, 2010." } }, { "@position" : "7", "rawText" : { "$" : "[8] R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34-41, April 1978." }, "id" : { "@value" : "doi_________::4c0701bc503737e6775afb6cb99781cc", "@type" : "openaire", "@trustLevel" : "0.6393298" } }, { "@position" : "8", "rawText" : { "$" : "[9] T. Durieux, B. Cornu, L. Seinturier, and M. Monperrus. Dynamic patch generation for null pointer exceptions using metaprogramming. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pages 349-358, Feb 2017." } }, { "@position" : "9", "rawText" : { "$" : "[12] S. Forrest, T.V. Nguyen, W. Weimer, and C. Le Goues. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation, pages 947-954. ACM, 2009." } }, { "@position" : "10", "rawText" : { "$" : "[24] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 593-604, New York, NY, USA, 2017. ACM." } }, { "@position" : "11", "rawText" : { "$" : "[53] Westley Weimer, ThanhVu Nguyen, Claire Le Goues, and Stephanie Forrest. Automatically finding patches using genetic programming. In Proceedings of the 31st International Conference on Software Engineering, ICSE '09, pages 364-374, 2009." }, "id" : { "@value" : "doi_________::297fb01e2406ef93f05b8dc40bd941a5", "@type" : "openaire", "@trustLevel" : "0.6160032" } }, { "@position" : "12", "rawText" : { "$" : "[54] Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, and Shing-Chi Cheung. An empirical analysis of the influence of fault space on search-based automated program repair, 2017." } } ] } }, { "@name" : "result reference list", "@typology" : "reference list", "@provenance" : "iis::document_referencedDocuments", "@trust" : "0.9", "references" : { "reference" : [ { "@position" : "1", "rawText" : { "$" : "[1] Rui Abreu, Peter Zoeteweij, and Arjan J. C. van Gemund. An evaluation of similarity coe cients for software fault localization. In Proceedings of the 12th Paci c Rim International Symposium on Dependable Computing, PRDC '06, pages 39{46, 2006." } }, { "@position" : "2", "rawText" : { "$" : "[2] Andrea Arcuri. Evolutionary repair of faulty software. Appl. Soft Comput., 11(4):3494{3514, June 2011." } }, { "@position" : "3", "rawText" : { "$" : "[3] Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro. The plastic surgery hypothesis. In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pages 306{317, New York, NY, USA, 2014. ACM." } }, { "@position" : "4", "rawText" : { "$" : "[4] J. Campos, A. Riboira, A. Perez, and R. Abreu. Gzoltar: an eclipse plugin for testing and debugging. In 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, pages 378{ 381, Sept 2012." } }, { "@position" : "5", "rawText" : { "$" : "[5] Liushan Chen, Yu Pei, and Carlo A. Furia. Contract-based program repair without the contracts. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 637{647, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "6", "rawText" : { "$" : "[6] Vidroha Debroy and W. Eric Wong. Using mutation to automatically suggest xes for faulty programs. In Proceedings of the 2010 Third International Conference on Software Testing, Veri cation and Validation, ICST '10, pages 65{74, 2010." } }, { "@position" : "7", "rawText" : { "$" : "[7] R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34{41, April 1978." } }, { "@position" : "8", "rawText" : { "$" : "[8] T. Durieux, B. Cornu, L. Seinturier, and M. Monperrus. Dynamic patch generation for null pointer exceptions using metaprogramming. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pages 349{358, Feb 2017." } }, { "@position" : "9", "rawText" : { "$" : "[11] S. Forrest, T.V. Nguyen, W. Weimer, and C. Le Goues. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation, pages 947{954. ACM, 2009." } }, { "@position" : "10", "rawText" : { "$" : "[21] John R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA, 1992." } }, { "@position" : "11", "rawText" : { "$" : "[23] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 593{604, New York, NY, USA, 2017. ACM." } }, { "@position" : "12", "rawText" : { "$" : "[24] Xuan Bach D Le, David Lo, and Claire Le Goues. History driven program repair. In Software Analysis, Evolution, and Reengineering (SANER), 2016 IEEE 23rd International Conference on, volume 1, pages 213{224. IEEE, 2016." } }, { "@position" : "13", "rawText" : { "$" : "[25] Xuan-Bach D. Le, Ferdian Thung, David Lo, and Claire Le Goues. Overtting in semantics-based automated program repair. In Proceedings of the 40th International Conference on Software Engineering, ICSE '18, pages 163{163, New York, NY, USA, 2018. ACM." } }, { "@position" : "14", "rawText" : { "$" : "[26] Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In Proceedings of the 34th International Conference on Software Engineering, ICSE '12, pages 3{13, Piscataway, NJ, USA, 2012. IEEE Press." } }, { "@position" : "15", "rawText" : { "$" : "[27] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair. arXiv preprint arXiv:1706.09120, 2017." } }, { "@position" : "16", "rawText" : { "$" : "[28] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair, 2017." } }, { "@position" : "17", "rawText" : { "$" : "[43] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. Does genetic programming work well on automated program repair? In Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on, pages 1875{1878. IEEE, 2013." } }, { "@position" : "18", "rawText" : { "$" : "[44] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. The strength of random search on automated program repair. In Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pages 254{265, New York, NY, USA, 2014. ACM." } }, { "@position" : "19", "rawText" : { "$" : "[45] Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang. Using automated program repair for evaluating the e ectiveness of fault localization techniques. In Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, pages 191{201, New York, NY, USA, 2013. ACM." } }, { "@position" : "20", "rawText" : { "$" : "[46] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "21", "rawText" : { "$" : "[47] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "22", "rawText" : { "$" : "[48] Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad. Elixir: E ective object oriented program repair. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 648{659, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "23", "rawText" : { "$" : "[49] Edward K Smith, Earl T Barr, Claire Le Goues, and Yuriy Brun. Is the cure worse than the disease? over tting in automated program repair. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pages 532{543. ACM, 2015." } }, { "@position" : "24", "rawText" : { "$" : "[50] A. Tanikado, H. Yokoyama, M. Yamamoto, S. Sumi, Y. Higo, and S. Kusumoto. New strategies for selecting reuse candidates on automated program repair. In 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), volume 2, pages 266{267, July 2017." } }, { "@position" : "25", "rawText" : { "$" : "[62] H. Yokoyama, Y. Higo, and S. Kusumoto. Evaluating automated program repair using characteristics of defects. In 2017 8th International Workshop on Empirical Software Engineering in Practice (IWESEP), pages 47{52, March 2017." } }, { "@position" : "26", "rawText" : { "$" : "[63] Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, and Martin Monperrus. Test Case Generation for Program Repair: A Study of Feasibility and E ectiveness. Technical Report 1703.00198, Arxiv, 2017." } } ] } }, { "@name" : "result reference list", "@typology" : "reference list", "@provenance" : "iis::document_referencedDocuments", "@trust" : "0.9", "references" : { "reference" : [ { "@position" : "1", "rawText" : { "$" : "[1] Rui Abreu, Peter Zoeteweij, and Arjan J. C. van Gemund. An evaluation of similarity coe cients for software fault localization. In Proceedings of the 12th Paci c Rim International Symposium on Dependable Computing, PRDC '06, pages 39{46, 2006." } }, { "@position" : "2", "rawText" : { "$" : "[2] Andrea Arcuri. Evolutionary repair of faulty software. Appl. Soft Comput., 11(4):3494{3514, June 2011." } }, { "@position" : "3", "rawText" : { "$" : "[3] Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro. The plastic surgery hypothesis. In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pages 306{317, New York, NY, USA, 2014. ACM." } }, { "@position" : "4", "rawText" : { "$" : "[4] J. Campos, A. Riboira, A. Perez, and R. Abreu. Gzoltar: an eclipse plugin for testing and debugging. In 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, pages 378{ 381, Sept 2012." } }, { "@position" : "5", "rawText" : { "$" : "[5] Liushan Chen, Yu Pei, and Carlo A. Furia. Contract-based program repair without the contracts. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 637{647, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "6", "rawText" : { "$" : "[6] Vidroha Debroy and W. Eric Wong. Using mutation to automatically suggest xes for faulty programs. In Proceedings of the 2010 Third International Conference on Software Testing, Veri cation and Validation, ICST '10, pages 65{74, 2010." } }, { "@position" : "7", "rawText" : { "$" : "[7] R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34{41, April 1978." }, "id" : { "@value" : "doi_________::4c0701bc503737e6775afb6cb99781cc", "@type" : "openaire", "@trustLevel" : "0.6226824" } }, { "@position" : "8", "rawText" : { "$" : "[8] T. Durieux, B. Cornu, L. Seinturier, and M. Monperrus. Dynamic patch generation for null pointer exceptions using metaprogramming. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pages 349{358, Feb 2017." } }, { "@position" : "9", "rawText" : { "$" : "[11] S. Forrest, T.V. Nguyen, W. Weimer, and C. Le Goues. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation, pages 947{954. ACM, 2009." } }, { "@position" : "10", "rawText" : { "$" : "[13] C. Le Goues, N. Holtschulte, E. K. Smith, Y. Brun, P. Devanbu, S. Forrest, and W. Weimer. The manybugs and introclass benchmarks for automated repair of c programs. IEEE Transactions on Software Engineering, 41(12):1236{1256, Dec 2015." } }, { "@position" : "11", "rawText" : { "$" : "[14] C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer. Genprog: A generic method for automatic software repair. IEEE Transactions on Software Engineering, 38(1):54{72, Jan 2012." } }, { "@position" : "12", "rawText" : { "$" : "[15] R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng., 3(4):279{290, July 1977." } }, { "@position" : "13", "rawText" : { "$" : "[21] John R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA, 1992." } }, { "@position" : "14", "rawText" : { "$" : "[22] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. J x: Semantics-based repair of java programs via symbolic path nder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, pages 376{379, New York, NY, USA, 2017. ACM." } }, { "@position" : "15", "rawText" : { "$" : "[23] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 593{604, New York, NY, USA, 2017. ACM." } }, { "@position" : "16", "rawText" : { "$" : "[24] Xuan Bach D Le, David Lo, and Claire Le Goues. History driven program repair. In Software Analysis, Evolution, and Reengineering (SANER), 2016 IEEE 23rd International Conference on, volume 1, pages 213{224. IEEE, 2016." } }, { "@position" : "17", "rawText" : { "$" : "[25] Xuan-Bach D. Le, Ferdian Thung, David Lo, and Claire Le Goues. Overtting in semantics-based automated program repair. In Proceedings of the 40th International Conference on Software Engineering, ICSE '18, pages 163{163, New York, NY, USA, 2018. ACM." } }, { "@position" : "18", "rawText" : { "$" : "[26] Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In Proceedings of the 34th International Conference on Software Engineering, ICSE '12, pages 3{13, Piscataway, NJ, USA, 2012. IEEE Press." } }, { "@position" : "19", "rawText" : { "$" : "[27] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair. arXiv preprint arXiv:1706.09120, 2017." }, "id" : { "@value" : "doi_________::8699f3095e01d0c84d2b5a38b113daac", "@type" : "openaire", "@trustLevel" : "0.61642104" } }, { "@position" : "20", "rawText" : { "$" : "[28] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair, 2017." }, "id" : { "@value" : "doi_________::8699f3095e01d0c84d2b5a38b113daac", "@type" : "openaire", "@trustLevel" : "0.61642104" } }, { "@position" : "21", "rawText" : { "$" : "[29] Liu, Yuefei. Understanding and generating patches for bugs introduced by third-party library upgrades. Master's thesis, 2017." } }, { "@position" : "22", "rawText" : { "$" : "[30] Fan Long, Peter Amidon, and Martin Rinard. Automatic inference of code transforms for patch generation. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 727{739, New York, NY, USA, 2017. ACM." } }, { "@position" : "23", "rawText" : { "$" : "[43] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. Does genetic programming work well on automated program repair? In Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on, pages 1875{1878. IEEE, 2013." } }, { "@position" : "24", "rawText" : { "$" : "[44] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. The strength of random search on automated program repair. In Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pages 254{265, New York, NY, USA, 2014. ACM." } }, { "@position" : "25", "rawText" : { "$" : "[45] Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang. Using automated program repair for evaluating the e ectiveness of fault localization techniques. In Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, pages 191{201, New York, NY, USA, 2013. ACM." } }, { "@position" : "26", "rawText" : { "$" : "[46] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "27", "rawText" : { "$" : "[47] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "28", "rawText" : { "$" : "[48] Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad. Elixir: E ective object oriented program repair. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 648{659, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "29", "rawText" : { "$" : "[49] Edward K Smith, Earl T Barr, Claire Le Goues, and Yuriy Brun. Is the cure worse than the disease? over tting in automated program repair. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pages 532{543. ACM, 2015." } }, { "@position" : "30", "rawText" : { "$" : "[50] A. Tanikado, H. Yokoyama, M. Yamamoto, S. Sumi, Y. Higo, and S. Kusumoto. New strategies for selecting reuse candidates on automated program repair. In 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), volume 2, pages 266{267, July 2017." }, "id" : { "@value" : "doi_________::066c4c4de4772aea65792bb743fa860f", "@type" : "openaire", "@trustLevel" : "0.6719784" } }, { "@position" : "31", "rawText" : { "$" : "[62] H. Yokoyama, Y. Higo, and S. Kusumoto. Evaluating automated program repair using characteristics of defects. In 2017 8th International Workshop on Empirical Software Engineering in Practice (IWESEP), pages 47{52, March 2017." } }, { "@position" : "32", "rawText" : { "$" : "[63] Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, and Martin Monperrus. Test Case Generation for Program Repair: A Study of Feasibility and E ectiveness. Technical Report 1703.00198, Arxiv, 2017." } } ] } }, { "@name" : "result reference list", "@typology" : "reference list", "@provenance" : "iis::document_referencedDocuments", "@trust" : "0.9", "references" : { "reference" : [ { "@position" : "1", "rawText" : { "$" : "[1] Rui Abreu, Peter Zoeteweij, and Arjan J. C. van Gemund. An evaluation of similarity coe cients for software fault localization. In Proceedings of the 12th Paci c Rim International Symposium on Dependable Computing, PRDC '06, pages 39{46, 2006." } }, { "@position" : "2", "rawText" : { "$" : "[2] Andrea Arcuri. Evolutionary repair of faulty software. Appl. Soft Comput., 11(4):3494{3514, June 2011." } }, { "@position" : "3", "rawText" : { "$" : "[3] Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro. The plastic surgery hypothesis. In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pages 306{317, New York, NY, USA, 2014. ACM." } }, { "@position" : "4", "rawText" : { "$" : "[4] J. Campos, A. Riboira, A. Perez, and R. Abreu. Gzoltar: an eclipse plugin for testing and debugging. In 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, pages 378{ 381, Sept 2012." } }, { "@position" : "5", "rawText" : { "$" : "[5] Liushan Chen, Yu Pei, and Carlo A. Furia. Contract-based program repair without the contracts. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 637{647, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "6", "rawText" : { "$" : "[6] Vidroha Debroy and W. Eric Wong. Using mutation to automatically suggest xes for faulty programs. In Proceedings of the 2010 Third International Conference on Software Testing, Veri cation and Validation, ICST '10, pages 65{74, 2010." } }, { "@position" : "7", "rawText" : { "$" : "[7] R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34{41, April 1978." }, "id" : { "@value" : "doi_________::4c0701bc503737e6775afb6cb99781cc", "@type" : "openaire", "@trustLevel" : "0.6226824" } }, { "@position" : "8", "rawText" : { "$" : "[8] T. Durieux, B. Cornu, L. Seinturier, and M. Monperrus. Dynamic patch generation for null pointer exceptions using metaprogramming. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pages 349{358, Feb 2017." } }, { "@position" : "9", "rawText" : { "$" : "[11] S. Forrest, T.V. Nguyen, W. Weimer, and C. Le Goues. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation, pages 947{954. ACM, 2009." } }, { "@position" : "10", "rawText" : { "$" : "[13] C. Le Goues, N. Holtschulte, E. K. Smith, Y. Brun, P. Devanbu, S. Forrest, and W. Weimer. The manybugs and introclass benchmarks for automated repair of c programs. IEEE Transactions on Software Engineering, 41(12):1236{1256, Dec 2015." } }, { "@position" : "11", "rawText" : { "$" : "[14] C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer. Genprog: A generic method for automatic software repair. IEEE Transactions on Software Engineering, 38(1):54{72, Jan 2012." } }, { "@position" : "12", "rawText" : { "$" : "[15] R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng., 3(4):279{290, July 1977." } }, { "@position" : "13", "rawText" : { "$" : "[21] John R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA, 1992." } }, { "@position" : "14", "rawText" : { "$" : "[22] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. J x: Semantics-based repair of java programs via symbolic path nder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, pages 376{379, New York, NY, USA, 2017. ACM." } }, { "@position" : "15", "rawText" : { "$" : "[23] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 593{604, New York, NY, USA, 2017. ACM." } }, { "@position" : "16", "rawText" : { "$" : "[24] Xuan Bach D Le, David Lo, and Claire Le Goues. History driven program repair. In Software Analysis, Evolution, and Reengineering (SANER), 2016 IEEE 23rd International Conference on, volume 1, pages 213{224. IEEE, 2016." } }, { "@position" : "17", "rawText" : { "$" : "[25] Xuan-Bach D. Le, Ferdian Thung, David Lo, and Claire Le Goues. Overtting in semantics-based automated program repair. In Proceedings of the 40th International Conference on Software Engineering, ICSE '18, pages 163{163, New York, NY, USA, 2018. ACM." } }, { "@position" : "18", "rawText" : { "$" : "[26] Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In Proceedings of the 34th International Conference on Software Engineering, ICSE '12, pages 3{13, Piscataway, NJ, USA, 2012. IEEE Press." } }, { "@position" : "19", "rawText" : { "$" : "[27] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair. arXiv preprint arXiv:1706.09120, 2017." }, "id" : { "@value" : "doi_________::8699f3095e01d0c84d2b5a38b113daac", "@type" : "openaire", "@trustLevel" : "0.61642104" } }, { "@position" : "20", "rawText" : { "$" : "[28] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair, 2017." }, "id" : { "@value" : "doi_________::8699f3095e01d0c84d2b5a38b113daac", "@type" : "openaire", "@trustLevel" : "0.61642104" } }, { "@position" : "21", "rawText" : { "$" : "[29] Liu, Yuefei. Understanding and generating patches for bugs introduced by third-party library upgrades. Master's thesis, 2017." } }, { "@position" : "22", "rawText" : { "$" : "[30] Fan Long, Peter Amidon, and Martin Rinard. Automatic inference of code transforms for patch generation. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 727{739, New York, NY, USA, 2017. ACM." } }, { "@position" : "23", "rawText" : { "$" : "[43] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. Does genetic programming work well on automated program repair? In Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on, pages 1875{1878. IEEE, 2013." } }, { "@position" : "24", "rawText" : { "$" : "[44] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. The strength of random search on automated program repair. In Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pages 254{265, New York, NY, USA, 2014. ACM." } }, { "@position" : "25", "rawText" : { "$" : "[45] Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang. Using automated program repair for evaluating the e ectiveness of fault localization techniques. In Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, pages 191{201, New York, NY, USA, 2013. ACM." } }, { "@position" : "26", "rawText" : { "$" : "[46] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "27", "rawText" : { "$" : "[47] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "28", "rawText" : { "$" : "[48] Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad. Elixir: E ective object oriented program repair. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 648{659, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "29", "rawText" : { "$" : "[49] Edward K Smith, Earl T Barr, Claire Le Goues, and Yuriy Brun. Is the cure worse than the disease? over tting in automated program repair. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pages 532{543. ACM, 2015." } }, { "@position" : "30", "rawText" : { "$" : "[50] A. Tanikado, H. Yokoyama, M. Yamamoto, S. Sumi, Y. Higo, and S. Kusumoto. New strategies for selecting reuse candidates on automated program repair. In 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), volume 2, pages 266{267, July 2017." }, "id" : { "@value" : "doi_________::066c4c4de4772aea65792bb743fa860f", "@type" : "openaire", "@trustLevel" : "0.6719784" } }, { "@position" : "31", "rawText" : { "$" : "[62] H. Yokoyama, Y. Higo, and S. Kusumoto. Evaluating automated program repair using characteristics of defects. In 2017 8th International Workshop on Empirical Software Engineering in Practice (IWESEP), pages 47{52, March 2017." } }, { "@position" : "32", "rawText" : { "$" : "[63] Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, and Martin Monperrus. Test Case Generation for Program Repair: A Study of Feasibility and E ectiveness. Technical Report 1703.00198, Arxiv, 2017." } } ] } }, { "@name" : "result reference list", "@typology" : "reference list", "@provenance" : "iis::document_referencedDocuments", "@trust" : "0.9", "references" : { "reference" : [ { "@position" : "1", "rawText" : { "$" : "[2] Rui Abreu, Peter Zoeteweij, Rob Golsteijn, and Arjan J.C. van Gemund. A practical evaluation of spectrum-based fault localization. Journal of Systems and Software, 82(11):1780 - 1792, 2009. SI: TAIC PART 2007 and MUTATION 2007." } }, { "@position" : "2", "rawText" : { "$" : "[3] Andrea Arcuri. Evolutionary repair of faulty software. Appl. Soft Comput., 11(4):3494-3514, June 2011." } }, { "@position" : "3", "rawText" : { "$" : "[4] Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro. The plastic surgery hypothesis. In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pages 306-317, New York, NY, USA, 2014. ACM." } }, { "@position" : "4", "rawText" : { "$" : "[5] J. Campos, A. Riboira, A. Perez, and R. Abreu. Gzoltar: an eclipse plugin for testing and debugging. In 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, pages 378- 381, Sept 2012." } }, { "@position" : "5", "rawText" : { "$" : "[6] Liushan Chen, Yu Pei, and Carlo A. Furia. Contract-based program repair without the contracts. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 637-647, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "6", "rawText" : { "$" : "[7] Vidroha Debroy and W. Eric Wong. Using mutation to automatically suggest fixes for faulty programs. In Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation, ICST '10, pages 65-74, 2010." } }, { "@position" : "7", "rawText" : { "$" : "[8] R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34-41, April 1978." }, "id" : { "@value" : "doi_________::4c0701bc503737e6775afb6cb99781cc", "@type" : "openaire", "@trustLevel" : "0.6393298" } }, { "@position" : "8", "rawText" : { "$" : "[9] T. Durieux, B. Cornu, L. Seinturier, and M. Monperrus. Dynamic patch generation for null pointer exceptions using metaprogramming. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pages 349-358, Feb 2017." } }, { "@position" : "9", "rawText" : { "$" : "[12] S. Forrest, T.V. Nguyen, W. Weimer, and C. Le Goues. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation, pages 947-954. ACM, 2009." } }, { "@position" : "10", "rawText" : { "$" : "[24] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 593-604, New York, NY, USA, 2017. ACM." } }, { "@position" : "11", "rawText" : { "$" : "[53] Westley Weimer, ThanhVu Nguyen, Claire Le Goues, and Stephanie Forrest. Automatically finding patches using genetic programming. In Proceedings of the 31st International Conference on Software Engineering, ICSE '09, pages 364-374, 2009." }, "id" : { "@value" : "doi_________::297fb01e2406ef93f05b8dc40bd941a5", "@type" : "openaire", "@trustLevel" : "0.6160032" } }, { "@position" : "12", "rawText" : { "$" : "[54] Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, and Shing-Chi Cheung. An empirical analysis of the influence of fault space on search-based automated program repair, 2017." } } ] } }, { "@name" : "result reference list", "@typology" : "reference list", "@provenance" : "iis::document_referencedDocuments", "@trust" : "0.9", "references" : { "reference" : [ { "@position" : "1", "rawText" : { "$" : "[1] Rui Abreu, Peter Zoeteweij, and Arjan J. C. van Gemund. An evaluation of similarity coe cients for software fault localization. In Proceedings of the 12th Paci c Rim International Symposium on Dependable Computing, PRDC '06, pages 39{46, 2006." } }, { "@position" : "2", "rawText" : { "$" : "[2] Andrea Arcuri. Evolutionary repair of faulty software. Appl. Soft Comput., 11(4):3494{3514, June 2011." } }, { "@position" : "3", "rawText" : { "$" : "[3] Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro. The plastic surgery hypothesis. In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pages 306{317, New York, NY, USA, 2014. ACM." } }, { "@position" : "4", "rawText" : { "$" : "[4] J. Campos, A. Riboira, A. Perez, and R. Abreu. Gzoltar: an eclipse plugin for testing and debugging. In 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, pages 378{ 381, Sept 2012." } }, { "@position" : "5", "rawText" : { "$" : "[5] Liushan Chen, Yu Pei, and Carlo A. Furia. Contract-based program repair without the contracts. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 637{647, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "6", "rawText" : { "$" : "[6] Vidroha Debroy and W. Eric Wong. Using mutation to automatically suggest xes for faulty programs. In Proceedings of the 2010 Third International Conference on Software Testing, Veri cation and Validation, ICST '10, pages 65{74, 2010." } }, { "@position" : "7", "rawText" : { "$" : "[7] R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34{41, April 1978." } }, { "@position" : "8", "rawText" : { "$" : "[8] T. Durieux, B. Cornu, L. Seinturier, and M. Monperrus. Dynamic patch generation for null pointer exceptions using metaprogramming. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pages 349{358, Feb 2017." } }, { "@position" : "9", "rawText" : { "$" : "[11] S. Forrest, T.V. Nguyen, W. Weimer, and C. Le Goues. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual conference on Genetic and evolutionary computation, pages 947{954. ACM, 2009." } }, { "@position" : "10", "rawText" : { "$" : "[21] John R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA, 1992." } }, { "@position" : "11", "rawText" : { "$" : "[23] Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 593{604, New York, NY, USA, 2017. ACM." } }, { "@position" : "12", "rawText" : { "$" : "[24] Xuan Bach D Le, David Lo, and Claire Le Goues. History driven program repair. In Software Analysis, Evolution, and Reengineering (SANER), 2016 IEEE 23rd International Conference on, volume 1, pages 213{224. IEEE, 2016." } }, { "@position" : "13", "rawText" : { "$" : "[25] Xuan-Bach D. Le, Ferdian Thung, David Lo, and Claire Le Goues. Overtting in semantics-based automated program repair. In Proceedings of the 40th International Conference on Software Engineering, ICSE '18, pages 163{163, New York, NY, USA, 2018. ACM." } }, { "@position" : "14", "rawText" : { "$" : "[26] Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In Proceedings of the 34th International Conference on Software Engineering, ICSE '12, pages 3{13, Piscataway, NJ, USA, 2012. IEEE Press." } }, { "@position" : "15", "rawText" : { "$" : "[27] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair. arXiv preprint arXiv:1706.09120, 2017." } }, { "@position" : "16", "rawText" : { "$" : "[28] Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, and Gang Huang. Identifying patch correctness in test-based automatic program repair, 2017." } }, { "@position" : "17", "rawText" : { "$" : "[43] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. Does genetic programming work well on automated program repair? In Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on, pages 1875{1878. IEEE, 2013." } }, { "@position" : "18", "rawText" : { "$" : "[44] Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang. The strength of random search on automated program repair. In Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pages 254{265, New York, NY, USA, 2014. ACM." } }, { "@position" : "19", "rawText" : { "$" : "[45] Yuhua Qi, Xiaoguang Mao, Yan Lei, and Chengsong Wang. Using automated program repair for evaluating the e ectiveness of fault localization techniques. In Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, pages 191{201, New York, NY, USA, 2013. ACM." } }, { "@position" : "20", "rawText" : { "$" : "[46] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "21", "rawText" : { "$" : "[47] Zichao Qi, Fan Long, Sara Achour, and Martin Rinard. An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pages 24{36, New York, NY, USA, 2015. ACM." } }, { "@position" : "22", "rawText" : { "$" : "[48] Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad. Elixir: E ective object oriented program repair. In Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, pages 648{659, Piscataway, NJ, USA, 2017. IEEE Press." } }, { "@position" : "23", "rawText" : { "$" : "[49] Edward K Smith, Earl T Barr, Claire Le Goues, and Yuriy Brun. Is the cure worse than the disease? over tting in automated program repair. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pages 532{543. ACM, 2015." } }, { "@position" : "24", "rawText" : { "$" : "[50] A. Tanikado, H. Yokoyama, M. Yamamoto, S. Sumi, Y. Higo, and S. Kusumoto. New strategies for selecting reuse candidates on automated program repair. In 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), volume 2, pages 266{267, July 2017." } }, { "@position" : "25", "rawText" : { "$" : "[62] H. Yokoyama, Y. Higo, and S. Kusumoto. Evaluating automated program repair using characteristics of defects. In 2017 8th International Workshop on Empirical Software Engineering in Practice (IWESEP), pages 47{52, March 2017." } }, { "@position" : "26", "rawText" : { "$" : "[63] Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, and Martin Monperrus. Test Case Generation for Program Repair: A Study of Feasibility and E ectiveness. Technical Report 1703.00198, Arxiv, 2017." } } ] } } ] } } } ] }, "browseResults" : null } }