{"id":"https://openalex.org/W4391985836","doi":"https://doi.org/10.1145/3641399.3644113","title":"Program Repair and Trusted Automatic Programming","display_name":"Program Repair and Trusted Automatic Programming","publication_year":2024,"publication_date":"2024-02-20","ids":{"openalex":"https://openalex.org/W4391985836","doi":"https://doi.org/10.1145/3641399.3644113"},"language":"en","primary_location":{"id":"doi:10.1145/3641399.3644113","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641399.3644113","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th Innovations in Software Engineering Conference","raw_type":"proceedings-article"},"type":"conference-abstract","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060115298","display_name":"Abhik Roychoudhury","orcid":"https://orcid.org/0000-0002-7127-1137"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Abhik Roychoudhury","raw_affiliation_strings":["Computer Science, National University of Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-7127-1137","affiliations":[{"raw_affiliation_string":"Computer Science, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060115298"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.979200005531311,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.979200005531311,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9635000228881836,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7037773132324219},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4881080090999603}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7037773132324219},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4881080090999603}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3641399.3644113","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641399.3644113","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th Innovations in Software Engineering Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4281999688","display_name":null,"funder_award_id":"MOE-MOET32021-0001","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Automated":[0],"program":[1,18,47,74,166,175],"repair":[2,19,116,188],"can":[3,95],"be":[4,96,168],"seen":[5],"as":[6,102,104,123,125,196,198],"automated":[7,17],"code":[8,39,58,101,190],"generation":[9],"at":[10],"a":[11,142,155,181],"micro-scale.":[12],"The":[13,108],"research":[14],"done":[15],"in":[16,117],"is":[20,59,84],"thus":[21],"particularly":[22],"relevant":[23],"today":[24],"with":[25,180],"the":[26,57,68,133,165],"movement":[27],"towards":[28],"automatic":[29],"programming":[30],"using":[31,49],"tools":[32],"like":[33],"Github":[34],"Copilot.":[35],"Since":[36],"automatically":[37,78,105,205],"generated":[38,106,191,206],"from":[40,132,192],"natural":[41],"language":[42,194],"descriptions":[43],"lack":[44],"understanding":[45],"of":[46,60,70,91,136,189,201],"semantics,":[48],"semantic":[50,71],"analysis":[51,75,83],"techniques":[52,76,94,109],"to":[53,77,86,145,153,167],"auto-correct":[54],"or":[55,72],"rectify":[56,79],"value.":[61],"In":[62],"our":[63],"work":[64],"we":[65],"have":[66,110],"proposed":[67],"use":[69,146,150],"symbolic":[73,82,147,151],"code.":[80,107,207],"Effectively":[81],"used":[85,112],"generalize":[87],"tests":[88],"into":[89],"specifications":[90],"intent.":[92],"These":[93],"employed":[97],"on":[98,185],"manually":[99],"written":[100],"well":[103,124,197],"been":[111],"for":[113,126,164,203],"security":[114],"vulnerability":[115],"software":[118],"(thereby":[119],"achieving":[120],"autonomous":[121],"cybersecurity)":[122],"supporting":[127],"intelligent":[128],"tutoring":[129],"systems.":[130],"Apart":[131],"practical":[134],"value":[135],"such":[137,204],"techniques,":[138],"conceptually":[139],"this":[140],"gave":[141],"new":[143],"direction":[144],"reasoning.":[148],"We":[149,177],"reasoning":[152],"derive":[154],"logical":[156],"constraint":[157],"which":[158],"would":[159],"capture":[160],"what":[161],"it":[162],"means":[163],"\"correct\"":[169],"thereby":[170],"inferring":[171],"specification":[172],"about":[173],"intended":[174],"behavior.":[176],"will":[178],"conclude":[179],"forward":[182],"looking":[183],"perspective":[184],"last":[186],"mile":[187],"large":[193],"models,":[195],"acceptable":[199],"evidences":[200],"correctness":[202]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}