Vejovis: suggesting fixes for JavaScript faults

Ocariza, Frolin S.; Pattabiraman, Karthik; Mesbah, Ali

doi:10.1145/2568225.2568257

Cited by 39 publications

(29 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…At the 11th attempt for this error, PCR loosen the branch condition of the if statement at line 30 with an undetermined abstract condition abstract_cond() (see lines [25][26].…”

Section: Examplementioning

confidence: 99%

See 1 more Smart Citation

Staged program repair with condition synthesis

Long

Rinard

2015

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering

279

223

View full text Add to dashboard Cite

We present PCR, a new automatic patch generation system. PCR uses a new condition synthesis technique to efficiently discover logical expressions that generate desired controlflow transfer patterns. Presented with a set of test cases, PCR deploys condition synthesis to find and repair incorrect if conditions that cause the application to produce the wrong result for one or more of the test cases. PCR also leverages condition synthesis to obtain a set of compound modifications that generate a rich, productive, and tractable search space of candidate patches.We evaluate PCR on a set of 105 defects from the GenProg benchmark set. For 40 of these defects, PCR generates plausible patches (patches that generate correct outputs for all inputs in the test suite used to validate the patch). For 12 of these defects, PCR generates correct patches that are functionally equivalent to developer patches that appear in subsequent versions. For comparison purposes, GenProg generates plausible patches for only 18 defects and correct patches for only 2 defects. AE generates plausible patches for only 27 defects and correct patches for only 3 defects.

show abstract

“…At the 11th attempt for this error, PCR loosen the branch condition of the if statement at line 30 with an undetermined abstract condition abstract_cond() (see lines [25][26].…”

Section: Examplementioning

confidence: 99%

“…Other program repair systems include VEJOVIS [26] and Gopinath et al [17], which applies domain specific techniques to repair DOM-related faults in JavaScript and selection statements in database programs respectively. AutoFix-E [31] repairs program faults with human-supplied specifications called contracts.…”

Section: Related Workmentioning

confidence: 99%

Staged program repair with condition synthesis

Long

Rinard

2015

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering

279

223

View full text Add to dashboard Cite

show abstract

“…Several studies of real-world JavaScript code aim at better understanding the use of dynamic language features [38], in particular the notorious eval() [37], and the kinds of bugs found in JavaScript programs [29]. Based on their study of bugs, Ocariza et al [30] propose a technique for finding fixes for particular kinds of bugs. To test JavaScript-based web applications, several approaches for generating GUI-level tests have been proposed [6], [11], [13], [26], [27], [35], [43].…”

Section: Related Workmentioning

confidence: 99%

TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript

Pradel

Schuh

Sen

2015

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering

View full text Add to dashboard Cite

Dynamic languages, such as JavaScript, give programmers the freedom to ignore types, and enable them to write concise code in short time. Despite this freedom, many programs follow implicit type rules, for example, that a function has a particular signature or that a property has a particular type. Violations of such implicit type rules often correlate with problems in the program. This paper presents TypeDevil, a mostly dynamic analysis that warns developers about inconsistent types.The key idea is to assign a set of observed types to each variable, property, and function, to merge types based in their structure, and to warn developers about variables, properties, and functions that have inconsistent types. To deal with the pervasiveness of polymorphic behavior in real-world JavaScript programs, we present a set of techniques to remove spurious warnings and to merge related warnings. Applying TypeDevil to widely used benchmark suites and real-world web applications reveals 15 problematic type inconsistencies, including correctness problems, performance problems, and dangerous coding practices.

show abstract

“…Vejovis [64] is a technique that tries to automatically find a fix for a JavaScript fault. First, the authors try to understand common fixes applied by programmers to JavaScript faults.…”

Section: Handling Failuresmentioning

confidence: 99%