Automated repair of HTML generation errors in PHP applications using string constraint solving

Samirni,; Schäfer,; Artzi,; Millstein,; Tip,; Hendren,

doi:10.1109/icse.2012.6227186

Cited by 80 publications

(63 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A number of mutated program versions are generated and tested in a trial-and-error fashion. PHPRepair [27] focuses on HTML generation errors in PHP programs. Constraints on string literals are collected from test executions and solved through string solver.…”

Section: Related Workmentioning

confidence: 99%

SemFix: Program repair via semantic analysis

Nguyen¹,

Qi²,

Roychoudhury³

et al. 2013

2013 35th International Conference on Software Engineering (ICSE)

367

293

View full text Add to dashboard Cite

Abstract-Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given this situation, automated program repair methods are of value. In this paper, we present an automated repair method based on symbolic execution, constraint solving and program synthesis. In our approach, the requirement on the repaired code to pass a given set of tests is formulated as a constraint. Such a constraint is then solved by iterating over a layered space of repair expressions, layered by the complexity of the repair code. We compare our method with recently proposed genetic programming based repair on SIR programs with seeded bugs, as well as fragments of GNU Coreutils with real bugs. On these subjects, our approach reports a higher success-rate than genetic programming based repair, and produces a repair faster.

show abstract

Section: Related Workmentioning

confidence: 99%

SemFix: Program repair via semantic analysis

Nguyen¹,

Qi²,

Roychoudhury³

et al. 2013

2013 35th International Conference on Software Engineering (ICSE)

367

293

View full text Add to dashboard Cite

show abstract

“…In most modern web browsers, the invalid HTML can be fixed quietly, however there are still some severe bugs that have a significant impact on the demonstrating effect [55]. Further study found that the HTML bugs usually come from the PHP print codes, especially the constant string printing, which is a common programming manner at server side.…”

Section: Specific Domain Tbrmentioning

confidence: 98%

A Survey of Test Based Automatic Program Repair

Liu¹,

Long²,

Zhang³

2018

JSW

View full text Add to dashboard Cite

Abstract:Testing and debugging have always been the most time-consuming parts of the software development procedure and require large amounts of human resources. When a bug is located, manually fixing it to repair the buggy program is still a difficult and laborious task for developers. Hence automatic program repair techniques, especially the test-based approaches, have drawn great attentions in recent years. Researchers have explored and proposed various novel methods and tools, pushing the idea closer to reality. In this paper, we systematically survey the work in mainstream of test-based program repair (TBR) and discuss the properties automatically generated patches should have. We classify the state-of-the-art approaches for TBR, and evaluate their strengths and weaknesses according to their functional mechanisms. Finally, we refer to some empirical results and propose four important issues, which are supposed to be critical and constructive in this research area.

show abstract

“…Alternative analytical approaches also exist, including FixWizard [39], which analyzes bug xes in a piece of code and suggests comparable xes to similar parts of the code base; and FlowFixer [62], which repairs sequences of GUI interactions in modi ed test scripts for Java programs. A group of techniques exists that can detect and repair HTML syntax problems in web applications [38,45]. However, these techniques cannot nd XBIs and repair them.…”

Section: Related Workmentioning

confidence: 99%

Automated repair of layout cross browser issues using search-based techniques

Mahajan

Alameer

McMinn

et al. 2017

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

View full text Add to dashboard Cite

A consistent cross-browser user experience is crucial for the success of a website. Layout Cross Browser Issues (XBIs) can severely undermine a website's success by causing web pages to render incorrectly in certain browsers, thereby negatively impacting users' impression of the quality and services that the web page delivers. Existing Cross Browser Testing (XBT) techniques can only detect XBIs in websites. Repairing them is, hitherto, a manual task that is labor intensive and requires signi cant expertise. Addressing this concern, our paper proposes a technique for automatically repairing layout XBIs in websites using guided search-based techniques. Our empirical evaluation showed that our approach was able to successfully x 86% of layout XBIs reported for 15 di erent web pages studied, thereby improving their cross-browser consistency. CCS CONCEPTS•So ware and its engineering →So ware testing and debugging; Search-based so ware engineering; KEYWORDSCross-browser issues; automated search-based repair; web apps. ACM Reference format:

show abstract

Automated repair of HTML generation errors in PHP applications using string constraint solving

Cited by 80 publications

References 20 publications

SemFix: Program repair via semantic analysis

SemFix: Program repair via semantic analysis

A Survey of Test Based Automatic Program Repair

Automated repair of layout cross browser issues using search-based techniques

Contact Info

Product

Resources

About