Meta tags:
Headings (most frequently used words):
automatic, bug, fixing, based, contents, specification, techniques, use, search, space, overfitting, limitations, of, benchmarks, example, tools, references, external, links, generate, and, validate, synthesis, data, driven, template, repair, java, other, languages, proprietary,
Text of the page (most frequently used words):
the (155), and (79), repair (71), for (67), software (61), doi (56), program (48), isbn (44), patches (44), 978 (41), bug (40), that (39), acm (38), #automatic (36), engineering (36), fixing (34), s2cid (33), international (33), proceedings (32), conference (30), 1145 (30), ieee (29), generate (26), based (26), patch (25), test (25), code (24), 2015 (24), search (23), bugs (23), 4503 (23), edit (22), from (21), 1109 (21), techniques (21), automated (19), validate (19), are (19), java (18), martin (17), programs (17), new (16), with (15), analysis (15), suite (15), arxiv (14), 2017 (14), york (14), icse (14), synthesis (14), tool (14), can (14), tools (13), overfitting (13), such (13), this (12), programming (12), genprog (12), human (12), fix (12), statement (11), systems (11), generation (11), benchmark (11), cases (11), 2019 (10), bibcode (10), 2014 (10), language (9), approaches (9), correct (9), example (9), one (9), use (8), 2021 (8), space (8), 2018 (8), goues (8), claire (8), candidate (8), symposium (8), large (8), long (8), rinard (8), fixes (8), uses (8), source (8), all (8), wikipedia (7), using (7), retrieved (7), monperrus (7), tse (7), transactions (7), repositories (7), zhang (7), correctness (7), learning (7), fan (7), 2016 (7), automatically (7), 2013 (7), other (7), there (7), not (7), more (7), has (6), durieux (6), thomas (6), null (6), via (6), weimer (6), westley (6), benchmarks (6), press (6), wang (6), michael (6), testing (6), changes (6), than (6), errors (6), oracle (6), out (6), which (6), produce (6), typically (6), validated (6), may (5), page (5), 2026 (5), research (5), david (5), martinez (5), matias (5), dynamic (5), 2020 (5), brun (5), yuriy (5), study (5), issn (5), set (5), usa (5), sigplan (5), languages (5), defects4j (5), existing (5), problem (5), 2012 (5), memory (5), getafix (5), data (5), only (5), been (5), specification (5), templates (5), generates (5), same (5), used (5), possible (5), incorrect (5), inputs (5), information (5), recent (5), toggle (4), contents (4), about (4), available (4), development (4), links (4), design (4), pointer (4), saner (4), multi (4), genetic (4), forrest (4), stephanie (4), 2024 (4), context (4), joint (4), meeting (4), foundations (4), empirical (4), roychoudhury (4), abhik (4), kim (4), tian (4), yan (4), ingredients (4), random (4), quality (4), 2008 (4), sequence (4), end (4), ase (4), machine (4), syntax (4), formal (4), 2010 (4), conditional (4), symbolic (4), semfix (4), exist (4), overflow (4), github (4), first (4), evaluated (4), without (4), binary (4), whether (4), main (4), file (4), original (4), specific (4), developer (4), often (4), statements (4), state (4), because (4), but (4), way (4), when (4), open (4), level (4), expected (4), behavior (4), specifications (4), hide (4), move (4), sidebar (4), view (3), under (3), apply (3), was (3), 5090 (3), objective (3), smith (3), many (3), mining (3), january (3), quixbugs (3), chen (3), companion (3), aware (3), better (3), conf (3), ernst (3), gao (3), trust (3), liu (3), kui (3), haoye (3), lei (3), mao (3), xiaoguang (3), klein (3), jacques (3), bissyandé (3), tegawendé (3), were (3), 1007 (3), verification (3), 37th (3), representation (3), xuan (3), cure (3), esec (3), fse (3), hdl (3), 2756 (3), 2568225 (3), nguyen (3), survey (3), security (3), 2009 (3), patching (3), environment (3), xiong (3), yingfei (3), runtime (3), 2025 (3), semantic (3), guided (3), computer (3), condition (3), angelix (3), 4673 (3), learned (3), each (3), redundancy (3), 36th (3), trained (3), provide (3), improve (3), facebook (3), generated (3), learn (3), buggy (3), past (3), directly (3), note (3), manybugs (3), least (3), implementations (3), patterns (3), cover (3), include (3), collected (3), real (3), world (3), limitation (3), top (3), art (3), incomplete (3), does (3), have (3), failing (3), learns (3), some (3), regression (3), also (3), system (3), template (3), classes (3), execution (3), another (3), mutation (3), operators (3), outputs (3), assumption (3), specify (3), topic (2), table (2), developers (2), contact (2), privacy (2), policy (2), additional (2), terms (2), site (2), september (2), categories (2), cs1 (2), maint (2), periodical (2), short (2), description (2), different (2), wikidata (2), org (2), related (2), external (2), 2022 (2), coding (2), astor (2), exploring (2), 1016 (2), jss (2), journal (2), exceptions (2), 24th (2), evolution (2), reengineering (2), yuan (2), arja (2), 1067 (2), edward (2), devanbu (2), premkumar (2), 979 (2), practice (2), jar (2), 110825 (2), lin (2), james (2), solar (2), lezama (2), armando (2), challenge (2), applications (2), khurshid (2), sarfraz (2), 5638 (2), 3180155 (2), 40th (2), madeiral (2), fernanda (2), 395 (2), 5386 (2), studies (2), yang (2), dongsun (2), koyuncu (2), anil (2), where (2), s10664 (2), loop (2), validation (2), andrew (2), xin (2), association (2), computing (2), machinery (2), change (2), descriptions (2), evaluating (2), link (2), cite (2), 35th (2), bach (2), semantics (2), 3675 (2), 2786805 (2), 10th (2), 1721 (2), 38th (2), yuhua (2), dai (2), ziying (2), chengsong (2), 265 (2), 14976851 (2), 2568254 (2), 254 (2), strength (2), thanhvu (2), method (2), 104 (2), eric (2), qrs (2), reliability (2), deployed (2), 60558 (2), operating (2), principles (2), muşlu (2), kıvanç (2), holmes (2), reid (2), notkin (2), speculative (2), integrated (2), recommendations (2), 669 (2), 682 (2), qing (2), mei (2), hong (2), leak (2), 4799 (2), 1934 (2), changing (2), issre (2), sidiroglou (2), stelios (2), error (2), implementation (2), pradel (2), repairagent (2), autonomous (2), llm (2), agent (2), chandra (2), satish (2), 159 (2), jie (2), crash (2), sites (2), 0025 (2), 30th (2), tan (2), neural (2), translation (2), 43rd (2), bodik (2), rastislav (2), seshia (2), sanjit (2), 11th (2), snippets (2), dynamoth (2), component (2), nopol (2), multiline (2), austin (2), texas (2), 3076 (2), zichao (2), achour (2), sara (2), plausibility (2), 6845282 (2), 3620 (2), 2771783 (2), 2771791 (2), systematic (2), already (2), into (2), assumptions (2), 1403 (2), transfer (2), structure (2), science (2), 642 (2), contracts (2), pdf (2), communications (2), references (2), private (2), models (2), solutions (2), identify (2), proprietary (2), applied (2), parser (2), eiffel (2), multiple (2), including (2), web (2), queries (2), user (2), reporting (2), solver (2), equivalent (2), searchrepair (2), replacing (2), elsewhere (2), much (2), prophet (2), recognize (2), leaks (2), extract (2), extensively (2), clearview (2), generating (2), especially (2), most (2), prototypes (2), their (2), current (2), found (2), single (2), contains (2), commits (2), within (2), time (2), effects (2), number (2), rely (2), guarantees (2), functionalities (2), causing (2), approach (2), further (2), then (2), passing (2), limitations (2), alternatively (2), heuristic (2), pass (2), yet (2), fact (2), means (2), fixed (2), previously (2), they (2), early (2), reported (2), possibly (2), made (2), drive (2), x86 (2), instance (2), potential (2), insertion (2), integer (2), check (2), value (2), variable (2), exception (2), targeted (2), validating (2), certain (2), kind (2), learnt (2), get (2), applies (2), its (2), order (2), mined (2), effectiveness (2), successful (2), potentially (2), among (2), driven (2), smt (2), patched (2), angelic (2), localization (2), grained (2), generally (2), strategy (2), abstract (2), tree (2), exposes (2), projects (2), functionality (2), appearance (2), upload (2), history (2), read (2), article (2), subsection (2), log (2), create (2), account (2), donate (2), menu (2), add, mobile, cookie, statistics, conduct, legal, safety, contacts, disclaimers, text, you, agree, registered, trademark, non, profit, organization, wikimedia, foundation, inc, creative, commons, attribution, sharealike, license, rendered, parsoid, last, edited, utc, hidden, articles, debugging, https, index, php, title, automatic_bug_fixing, oldid, 1374879563, datasets, etc, thompson, techtimes, ishraq, khan, revolutionizing, scene, march, sifted, coming, your, job, beyond, 069, 1802, 03365, 151, metaprogramming, 358, 2736203, 5501, 7884635, 1812, 00409, 349, banzhaf, wolfgang, 25222219, 2874648, 2020itsen, 1040y, 1712, 07804, 1040, holtschulte, neal, 1256, 2454513, 2015itsen, 1236l, 1236, intro, class, meem, fairuz, nawer, justin, johnson, brittany, april, 4007, 0217, 3597503, 3639182, 46th, experiences, saha, ripon, lyu, yingjun, lam, wing, yoshida, hiroaki, prasad, mukul, msr, 50770093, 5716, 3196398, 3196473, 15th, comprehensive, 0164, 1212, 1805, 03454, 171, derrick, koppel, angela, lingual, quixey, 5514, 3135932, 3135941, humanity, hua, jinru, mengshi, kaiyuan, towards, practical, demand, 49666327, 3180245, wen, ming, junjie, rongxin, cheung, shing, chi, 3374770, 3180233, hao, dan, sobreira, victor, almeida, maia, marcelo, dissection, dataset, anatomy, 140, 4969, 8330203, 2018sane, 21s, 1801, 06393, 130, 25th, just, rené, jalali, darioush, 440, 2645, 2610384, 2628055, 437, database, faults, enable, controlled, abreu, rui, 313, 5572, 3338906, 3338911, 302, 27th, european, review, scale, experiment, 141, 551, attempts, noller, yannic, shariffdeen, ridwan, xiang, enhancement, issues, 2240, 9221, 3510003, 3510040, 2022icse, 191n, 2228, 44th, deheng, kisub, 122, 021, 10003, böhme, marcel, geethal, charaka, pham, van, thuan, icst, porto, portugal, 285, 209386817, 7281, 5778, icst46399, 00036, 1912, 07758, 274, 13th, tang, xunzhu, habib, shangwen, xia, 2023, 251403079, 9475, 3551349, 3556914, 2208, 04125, answer, correlating, news, kaboré, abdoul, kader, 992, 6768, 3324884, 3416532, 981, predicting, reiss, steven, identifying, overfitted, through, case, 236, 20562134, 5076, 3092703, 3092718, 226, 26th, sigsoft, thung, ferdian, 3033, 3635768, 1382, 3256, 017, 9577, 3007, barr, earl, worse, disease, 543, 6300790, 2786825, 532, spaces, 713, 7426809, 3900, 113656, 2884781, 2884872, 1602, 05643, 702, generic, 2326, 3881, 2011, 2012itsen, 54l, shilong, dongcheng, zhao, man, hui, wong, c63300, 00063, perkins, jeff, 102, 7597529, 752, 1629575, 1629585, sigops, 22nd, october, 5795141, 0362, 1340, 2384616, 2384665, notices, yaqing, weikun, zhou, zhaoping, xie, bing, safe, piscataway, jersey, 470, 459, volume, dobolyi, kinga, handling, 1454939, 19th, douskos, containment, recovery, shepherding, pldi, 238, 6252501, 2784, 2594291, 2594337, 227, bouzenia, islem, 2200, 3315, 0569, icse55347, 00157, 2188, 47th, zimin, kommrusch, steve, tufano, michele, pouchet, louis, noel, poshyvanyk, denys, sequencer, 1943, 2940179, 2021itsen, 1943c, 1901, 01808, bader, johannes, scott, oopsla, 3360585, 1902, 06111, hansheng, recurring, analyzing, 318, 2513924, 307, jiang, nan, lutellier, thibaud, 1173, 6654, 0296, icse43902, 00107, 2103, 00073, 1161, yalin, stolee, kathryn, repairing, lincoln, nebraska, 306, 16361458, 295, alur, rajeev, juniwal, garvit, milo, raghothaman, mukund, singh, rishabh, udupa, abhishek, 9835678, fmcad, 6679385, methods, aided, torlak, emina, chu, duc, hiep, visser, willem, 604, 1503790, 5105, 3106237, 3106309, 593, galenson, joel, reames, philip, hartmann, björn, sen, koushik, 663, 10656182, 2568250, 653, codehint, interactive, 4151, 2896921, 2896931, 2016iwas, 20d, workshop, automation, jha, susmit, gulwani, sumit, tiwari, ashish, 224, 6344783, 719, 1806799, 1806833, 215, runfa, jiachen, han, shi, huang, gang, precise, 426, 3868, 416, 39th, jifeng, demarco, favio, clement, maxime, marcote, sebastian, lamelas, berre, daniel, 1939, 3520, 2560811, 2017itsen, 34x, 1811, 04211, mechtaev, sergey, jooyong, scalable, 701, 691, hoang, duong, thien, dawei, san, francisco, california, 781, 772, nam, jaechang, song, jaewoo, sunghun, written, 811, 802, 101586, dewey, vogt, 105, 10987936, 6227211, 34th, inquiry, 495, 2768, 2591062, 2591114, 6322, 492, staged, bergamo, italy, 178, 5987616, 2786811, 166, lahtinen, elimination, application, nokhbeh, zaeem, razieh, contract, alloy, lecture, notes, vol, 6183, 598, 14106, 14107, 2_27, 577, ecoop, object, oriented, pei, furia, carlo, nordio, wei, meyer, bertrand, 449, 53302638, 2312918, 2014arxiv1403, 1117p, 1117, 427, zeller, andreas, 312, 6091588, 3549, 2837614, 2837617, 298, annual, sigact, finding, 374, 1706697, 4244, 3453, 5070536, 364, 31st, shin, hwei, relifix, regressions, 482, 17125466, 471, gazzola, luca, micucci, daniela, mariani, leonardo, 57764123, 10281, 184798, 2755013, 2019itsen, 34g, harman, mark, 108, 9729944, 1735223, 1735248, technical, perspective, 28629846, 1409360, 1409381, utilizes, opensource, analyze, instantly, stack, kodezi, deepcode, integrates, public, bitbucket, gitlab, operates, purely, transformations, thus, requires, formatter, hack, ast, autofixe, relies, form, framework, implementing, jgenprog, npefix, nullpointerexception, qacrashfix, par, manually, defined, learn2fix, semi, extends, observed, who, works, take, integers, improved, introclass, higher, rsrepair, useful, knowledge, leakfix, codephage, across, although, seminal, studied, vulnerability, later, shows, active, various, these, demonstrating, unclear, ready, industrial, usage, now, papers, detailed, modify, median, size, four, lines, nine, alternative, focus, authors, defects, widely, evaluate, broader, 100, practitioners, cannot, high, ranking, acceptable, bound, hour, prerequisite, wider, adoption, converted, intractably, formulas, modifying, side, explosion, modifications, address, assuming, small, modification, enough, resulting, reduction, weak, cause, negative, eliminating, desirable, introducing, vulnerabilities, amplify, labelled, minimize, labelling, effort, gradually, classify, engages, uncertain, avoid, filter, done, propose, assess, sometimes, actually, known, refers, overfits, kinds, introduction, working, features, broken, after, poorly, tested, suffered, lot, 110, plausible, obtained, essence, activity, deductive, composed, edits, understand, showed, indicated, considered, sparse, vastly, abundant, see, discussion, below, fitness, function, failure, happens, searched, online, encountering, activates, feature, clicking, button, happen, background, ide, proactively, searches, problems, waiting, explicit, action, comparing, tend, accuracy, narrowed, scope, missing, deallocation, buffer, specialized, freely, interleaves, gathering, collecting, invoking, model, agnostic, developed, production, given, sample, engineers, like, future, besides, own, training, detected, ranks, them, seconds, presents, ranked, final, engineer, save, resources, ideally, fast, spent, nsequencer, copy, mechanism, handle, vocabulary, identifiers, line, prioritize, pre, train, codebases, strategies, sources, donor, sourceforge, converts, formula, allow, supplied, constraint, introduced, concept, forest, deal, combined, solving, consists, predefined, examples, inserting, constant, off, manipulate, coarse, earlier, operate, carry, simple, delete, replace, operations, deleting, fine, diverse, notably, deletion, operator, removing, reasonable, good, fault, improvement, block, compile, collect, technique, starts, key, behind, needed, codebase, empirically, quantifying, temporal, remains, controversial, nevertheless, results, promising, systematically, eight, against, full, whole, less, common, computation, cost, prohibitive, however, implicit, partial, longer, trigger, path, input, output, pairs, captured, divided, between, faulty, encapsulates, any, must, preserve, therefore, existence, major, previous, assertions, according, intervention, programmer, commonly, referred, typical, goal, eliminate, free, encyclopedia, item, printable, version, download, print, export, switch, legacy, shortened, url, permanent, what, here, general, actions, english, talk, हिन्दी, personal, special, pages, community, portal, help, contribute, events, navigation, jump, content,
Text of the page (random words):
sage or not 57 c edit clearview 36 a generate and validate tool of generating binary patches for deployed systems it is evaluated on 10 security vulnerability cases a later study shows that it generates correct patches for at least 4 of the 10 cases 6 genprog 5 14 a seminal generate and validate bug fixing tool it has been extensively studied in the context of the manybugs benchmark semfix 17 the first solver based bug fixing tool for c codephage 10 the first bug fixing tool that directly transfer code across programs to generate patch for c program note that although it generates c patches it can extract code from binary programs without source code 10 leakfix 34 a tool that automatically fixes memory leaks in c programs prophet 7 the first generate and validate tool that uses machine learning techniques to learn useful knowledge from past human patches to recognize correct patches it is evaluated on the same benchmark as genprog and generate correct patches i e equivalent to human patches for 18 out of 69 cases 7 searchrepair 26 a tool for replacing buggy code using snippets of code from elsewhere it is evaluated on the introclass benchmark 58 and generates much higher quality patches on that benchmark than genprog rsrepair and ae angelix 18 an improved solver based bug fixing tool it is evaluated on the genprog benchmark for 10 out of the 69 cases it generate patches that is equivalent to human patches learn2fix 46 the first human in the loop semi automatic repair tool extends genprog to learn the condition under which a semantic bug is observed by systematic queries to the user who is reporting the bug only works for programs that take and produce integers java edit par 16 a generate and validate tool that uses a set of manually defined fix templates qacrashfix 28 a tool that fixes java crash bugs by mining fixes from q a web site arja 59 a repair tool for java based on multi objective genetic programming npefix 60 an automatic repair tool for nullpointerexception in java available on github astor 61 a generate and validate program repair framework for java implementing multiple repair approaches including jgenprog other languages edit autofixe 8 a bug fixing tool for eiffel language it relies the contracts i e a form of formal specification in eiffel programs to validate generated patches getafix 29 operates purely on ast transformations and thus requires only a parser and formatter at facebook it has been applied to hack java and objective c proprietary edit deepcode integrates public and private github gitlab and bitbucket repositories to identify code fixes and improve software 62 kodezi utilizes opensource data from github repositories stack overflow and private trained models to analyze code provide solutions and descriptions about the coding bugs instantly 63 references edit rinard martin c 2008 technical perspective patching program errors communications of the acm 51 12 86 doi 10 1145 1409360 1409381 s2cid 28629846 harman mark 2010 automated patching techniques communications of the acm 53 5 108 doi 10 1145 1735223 1735248 s2cid 9729944 1 2 gazzola luca micucci daniela mariani leonardo 2019 automatic software repair a survey pdf ieee transactions on software engineering 45 1 34 67 bibcode 2019itsen 45 34g doi 10 1109 tse 2017 2755013 hdl 10281 184798 s2cid 57764123 tan shin hwei roychoudhury abhik 2015 relifix automated repair of software regressions 2015 ieee acm 37th ieee international conference on software engineering ieee pp 471 482 doi 10 1109 icse 2015 65 isbn 978 1 4799 1934 5 s2cid 17125466 1 2 3 4 5 6 weimer westley nguyen thanhvu le goues claire forrest stephanie 2009 automatically finding patches using genetic programming proceedings of the 31st international conference on software engineering ieee pp 364 374 doi 10 1109 icse 2009 5070536 isbn 978 1 4244 3453 4 s2cid 1706697 1 2 3 4 5 6 7 8 9 qi zichao long fan achour sara rinard martin 2015 an analysis of patch plausibility and correctness for generate and validate patch generation systems proceedings of the 2015 international symposium on software testing and analysis acm doi 10 1145 2771783 2771791 isbn 978 1 4503 3620 8 s2cid 6845282 1 2 3 4 5 6 7 8 9 long fan rinard martin 2016 automatic patch generation by learning correct code proceedings of the 43rd annual acm sigplan sigact symposium on principles of programming languages acm pp 298 312 doi 10 1145 2837614 2837617 isbn 978 1 4503 3549 2 s2cid 6091588 1 2 pei yu furia carlo a nordio martin wei yi meyer bertrand zeller andreas may 2014 automated fixing of programs with contracts ieee transactions on software engineering 40 5 427 449 arxiv 1403 1117 bibcode 2014arxiv1403 1117p doi 10 1109 tse 2014 2312918 s2cid 53302638 nokhbeh zaeem razieh khurshid sarfraz 2010 contract based data structure repair using alloy ecoop 2010 object oriented programming lecture notes in computer science vol 6183 pp 577 598 doi 10 1007 978 3 642 14107 2_27 isbn 978 3 642 14106 5 1 2 3 4 5 6 sidiroglou stelios lahtinen eric long fan rinard martin 2015 automatic error elimination by multi application code transfer proceedings of the 36th acm sigplan conference on programming language design and implementation qi yuhua mao xiaoguang lei yan dai ziying wang chengsong 2014 the strength of random search on automated program repair proceedings of the 36th international conference on software engineering icse 2014 austin texas acm pp 254 265 doi 10 1145 2568225 2568254 isbn 978 1 4503 2756 5 s2cid 14976851 1 2 3 long fan rinard martin 2015 staged program repair with condition synthesis proceedings of the 2015 10th joint meeting on foundations of software engineering esec fse 2015 bergamo italy acm pp 166 178 doi 10 1145 2786805 2786811 isbn 978 1 4503 3675 8 s2cid 5987616 martinez matias weimer westley monperrus martin 2014 do the fix ingredients already exist an empirical inquiry into the redundancy assumptions of program repair approaches companion proceedings of the 36th international conference on software engineering pp 492 495 arxiv 1403 6322 doi 10 1145 2591062 2591114 isbn 978 1 4503 2768 8 retrieved 2026 06 13 1 2 3 le goues claire dewey vogt michael forrest stephanie weimer westley 2012 a systematic study of automated program repair fixing 55 out of 105 bugs for 8 each 2012 34th international conference on software engineering icse ieee pp 3 13 doi 10 1109 icse 2012 6227211 isbn 978 1 4673 1067 3 s2cid 10987936 qi zichao long fan achour sara rinard martin 2015 07 13 an analysis of patch plausibility and correctness for generate and validate patch generation systems proceedings of the 2015 international symposium on software testing and analysis new york ny usa acm pp 24 36 doi 10 1145 2771783 2771791 hdl 1721 1 101586 isbn 978 1 4503 3620 8 s2cid 6845282 1 2 3 4 kim dongsun nam jaechang song jaewoo kim sunghun 2013 automatic patch generation learned from human written patches proceedings of the 2013 international conference on software engineering icse 13 ieee press pp 802 811 isbn 978 1 4673 3076 3 1 2 3 4 nguyen hoang duong thien qi dawei roychoudhury abhik chandra satish 2013 semfix program repair via semantic analysis proceedings of the 2013 international conference on software engineering icse 13 san francisco california ieee press pp 772 781 isbn 978 1 4673 3076 3 1 2 3 4 mechtaev sergey yi jooyong roychoudhury abhik 2016 angelix scalable multiline program patch synthesis via symbolic analysis proceedings of the 38th international conference on software engineering icse 2016 austin texas may 14 22 2016 pp 691 701 xuan jifeng martinez matias demarco favio clement maxime marcote sebastian lamelas durieux thomas le berre daniel monperrus martin 2017 nopol automatic repair of conditional statement bugs in java programs ieee transactions on software engineering 43 1 34 55 arxiv 1811 04211 bibcode 2017itsen 43 34x doi 10 1109 tse 2016 2560811 issn 1939 3520 xiong yingfei wang jie yan runfa zhang jiachen han shi huang gang zhang lu may 2017 precise condition synthesis for program repair 2017 ieee acm 39th international conference on software engineering icse pp 416 426 doi 10 1109 icse 2017 45 isbn 978 1 5386 3868 2 jha susmit gulwani sumit seshia sanjit a tiwari ashish 2010 05 01 oracle guided component based program synthesis acm pp 215 224 doi 10 1145 1806799 1806833 isbn 978 1 60558 719 6 s2cid 6344783 durieux thomas monperrus martin 2016 dynamoth dynamic code synthesis for automatic program repair proceedings of the 11th international workshop on automation of software test pp 85 91 bibcode 2016iwas conf 20d doi 10 1145 2896921 2896931 isbn 978 1 4503 4151 6 galenson joel reames philip bodik rastislav hartmann björn sen koushik 2014 05 31 codehint dynamic and interactive synthesis of code snippets acm pp 653 663 doi 10 1145 2568225 2568250 isbn 978 1 4503 2756 5 s2cid 10656182 le xuan bach d chu duc hiep lo david le goues claire visser willem 2017 08 21 proceedings of the 2017 11th joint meeting on foundations of software engineering esec fse 2017 acm pp 593 604 doi 10 1145 3106237 3106309 isbn 978 1 4503 5105 8 s2cid 1503790 alur rajeev bodik rastislav juniwal garvit martin milo m k raghothaman mukund seshia sanjit a singh rishabh solar lezama armando torlak emina udupa abhishek 2013 syntax guided synthesis 2013 formal methods in computer aided design pp 1 8 doi 10 1109 fmcad 2013 6679385 isbn 978 0 9835678 3 7 1 2 ke yalin stolee kathryn le goues claire brun yuriy 2015 repairing programs with semantic code search proceedings of the 2015 30th ieee acm international conference on automated software engineering ase 2015 lincoln nebraska acm pp 295 306 doi 10 1109 ase 2015 60 isbn 978 1 5090 0025 8 s2cid 16361458 jiang nan lutellier thibaud tan lin 2021 cure code aware neural machine translation for automatic program repair 2021 ieee acm 43rd international conference on software engineering icse pp 1161 1173 arxiv 2103 00073 doi 10 1109 icse43902 2021 00107 isbn 978 1 6654 0296 5 1 2 gao qing zhang hansheng wang jie xiong yingfei zhang lu mei hong 2015 fixing recurring crash bugs via analyzing q a sites 2015 30th ieee acm international conference on automated software engineering ase ieee pp 307 318 doi 10 1109 ase 2015 81 isbn 978 1 5090 0025 8 s2cid 2513924 1 2 bader johannes scott andrew pradel michael chandra satish 2019 10 10 getafix learning to fix bugs automatically proceedings of the acm on programming languages 3 oopsla 159 1 159 27 arxiv 1902 06111 doi 10 1145 3360585 chen zimin kommrusch steve james tufano michele pouchet louis noel poshyvanyk denys monperrus martin 2021 sequencer sequence to sequence learning for end to end program repair ieee transactions on software engineering 47 9 1943 arxiv 1901 01808 bibcode 2021itsen 47 1943c doi 10 1109 tse 2019 2940179 bouzenia islem devanbu premkumar pradel michael 2025 repairagent an autonomous llm based agent for program repair 2025 ieee acm 47th international conference on software engineering icse pp 2188 2200 doi 10 1109 icse55347 2025 00157 isbn 979 8 3315 0569 1 long fan sidiroglou douskos stelios rinard martin 2014 automatic runtime error repair and containment via recovery shepherding proceedings of the 35th acm sigplan conference on programming language design and implementation pldi 14 new york new york acm pp 227 238 doi 10 1145 2594291 2594337 isbn 978 1 4503 2784 8 s2cid 6252501 dobolyi kinga weimer westley 2008 changing java s semantics for handling null pointer exceptions 2008 19th international symposium on software reliability engineering issre pp 47 56 doi 10 1109 issre 2008 59 s2cid 1454939 1 2 3 gao qing xiong yingfei mi yaqing zhang lu yang weikun zhou zhaoping xie bing mei hong 2015 safe memory leak fixing for c programs proceedings of the 37th international conference on software engineering volume 1 icse 15 piscataway new jersey ieee press pp 459 470 isbn 978 1 4799 1934 5 muşlu kıvanç brun yuriy holmes reid ernst michael d notkin david muşlu kıvanç brun yuriy holmes reid ernst michael d notkin david 19 october 2012 speculative analysis of integrated development environment recommendations speculative analysis of integrated development environment recommendations acm sigplan notices 47 10 669 669 682 682 doi 10 1145 2384616 2384665 issn 0362 1340 s2cid 5795141 1 2 perkins jeff h et al 2009 automatically patching errors in deployed software proceedings of the acm sigops 22nd symposium on operating systems principles acm pp 87 102 doi 10 1145 1629575 1629585 isbn 978 1 60558 752 3 s2cid 7597529 zhang shilong li dongcheng zhao man li hui wong w eric 2024 search based automated program repair a survey 2024 ieee 24th international conference on software quality reliability and security companion qrs c ieee doi 10 1109 qrs c63300 2024 00063 le goues claire nguyen thanhvu forrest stephanie weimer westley 2012 genprog a generic method for automatic software repair ieee transactions on software engineering 38 1 54 72 bibcode 2012itsen 38 54l doi 10 1109 tse 2011 104 issn 2326 3881 qi yuhua mao xiaoguang lei yan dai ziying wang chengsong 2014 05 31 the strength of random search on automated program repair acm pp 254 265 doi 10 1145 2568225 2568254 isbn 978 1 4503 2756 5 s2cid 14976851 1 2 long fan rinard martin 2016 an analysis of the search spaces for generate and validate patch generation systems proceedings of the 38th international conference on software engineering icse 16 new york new york acm pp 702 713 arxiv 1602 05643 doi 10 1145 2884781 2884872 hdl 1721 1 113656 isbn 978 1 4503 3900 1 s2cid 7426809 smith edward k barr earl t le goues claire brun yuriy 2015 is the cure worse than the disease overfitting in automated program repair proceedings of the 2015 10th joint meeting on foundations of software engineering esec fse 2015 new york new york acm pp 532 543 doi 10 1145 2786805 2786825 isbn 978 1 4503 3675 8 s2cid 6300790 le xuan bach d thung ferdian lo david goues claire le 2018 03 02 overfitting in semantics based automated program repair empirical software engineering 23 5 3007 3033 doi 10 1007 s10664 017 9577 2 issn 1382 3256 s2cid 3635768 xin qi reiss steven p 2017 07 10 identifying test suite overfitted patches through test case generation proceedings of the 26th acm sigsoft international symposium on software testing and analysis new york ny usa acm pp 226 236 doi 10 1145 3092703 3092718 isbn 978 1 4503 5076 1 s2cid 20562134 tian haoye liu kui kaboré abdoul kader koyuncu anil li li klein jacques bissyandé tegawendé f 27 january 2021 evaluating representation learning of code changes for predicting patch correctness in program repair proceedings of the 35th ieee acm international conference on automated software engineering association for computing machinery pp 981 992 doi 10 1145 3324884 3416532 isbn 978 1 4503 6768 4 cite news cs1 maint periodical has isbn link tian haoye tang xunzhu habib andrew wang shangwen liu kui xia xin klein jacques bissyandé tegawendé f 5 january 2023 is this change the answer to that pro...
|
