OVER-FITTING IN PROGRAM REPAIR AND SYNTHESIS

OVER-FITTING IN PROGRAM REPAIR AND SYNTHESIS

Ph.D

Saved in:

書目詳細資料
主要作者:	GAO XIANG
其他作者:	COMPUTATIONAL SCIENCE
格式:	Theses and Dissertations
語言:	English
出版:	2021
主題:	Overfitting, Program repair, Program synthesis, Program analysis, Vulnerability fixing, Program transformation
在線閱讀:	https://scholarbank.nus.edu.sg/handle/10635/204925
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Overfitting in semantics-based automated program repair
由: LE, Dinh Xuan Bach, et al.
出版: (2018)

SEMANTIC PROGRAM REPAIR
由: MECHTAEV SERGEY
出版: (2018)

SOFTWARE VULNERABILITY REPAIR
由: RIDWAN SALIHIN SHARIFFDEEN
出版: (2023)

Overfitting in automated program repair: Challenges and solutions
由: LE, Dinh Xuan Bach
出版: (2018)

S3: Syntax- and semantic-guided repair synthesis via programming by examples
由: LE, Xuan-Bach D., et al.
出版: (2017)

An empirical study of automatic program repair techniques for injection vulnerabilities
由: ZHU, Tingwei, et al.
出版: (2024)

RATCHET : Retrieval augmented transformer for program repair
由: WANG, Jian, et al.
出版: (2024)

JFIX: Semantics-based repair of Java programs via symbolic PathFinder
由: LE, Xuan Bach D., et al.
出版: (2017)

Empirical study on synthesis engines for semantics-based program repair
由: BACH, Le Dinh Xuan, et al.
出版: (2016)

Invalidator: Automated patch correctness assessment via semantic and syntactic reasoning
由: LE-CONG, Tranh, et al.
出版: (2023)

The future can't help fix the past: Assessing program repair in the wild
由: KABADI, Vinay, et al.
出版: (2023)

Transformation-based diagnosis of student programs for programming tutoring systems
由: Xu, S., et al.
出版: (2013)

Beyond tamaki-sato style unfold/fold transformations for normal logic programs
由: Roychoudhury, A., et al.
出版: (2014)

Smart contract repair
由: YU, Xiao Liang, et al.
出版: (2020)

Analysis of meta-programs: An example
由: Jarzabek, S., et al.
出版: (2013)

CDRep: Automatic repair of cryptographic-misuses in Android applications
由: MA, Siqi, et al.
出版: (2016)

Semantic patches for Java program transformation (artifact)
由: KANG, Hong Jin, et al.
出版: (2019)

VuRLE: Automatic vulnerability detection and repair by learning from examples
由: MA SIQI,, et al.
出版: (2017)

Enhancing automated program repair with deductive verification
由: LE, Xuan-Bach D., et al.
出版: (2016)

When automated program repair meets regression testing - an extensive study on two million patches
由: Lou, Yiling, et al.
出版: (2025)

History driven program repair
由: LE, Xuan-Bach D., et al.
出版: (2016)

COMPILING AND DETECTING TYPE ERRORS IN INCOMPLETE JAVA PROGRAMS WITH GENERICS
由: FOO YONG QI
出版: (2023)

FAIR DECISION MAKING VIA AUTOMATED REPAIR OF DECISION TREES
由: ZHANG JIANG
出版: (2022)

JoanAudit: A tool for auditing common injection vulnerabilities
由: THOME, Julian, et al.
出版: (2017)

An unfold/fold transformation framework for definite logic programs
由: Roychoudhury, A., et al.
出版: (2013)

TransplantFix: Graph differencing-based code transplantation for automated program repair
由: YANG, Deheng, et al.
出版: (2022)

Exploring and repairing gender fairness violations in word embedding-based sentiment analysis model through adversarial patches
由: KHOO, Lin Sze, et al.
出版: (2023)

Locating vulnerabilities in binaries via memory layout recovering
由: WANG, Haijun, et al.
出版: (2019)

Goal programming: The modified simplex method
由: Duque, Ma. Victorina, et al.
出版: (1982)

Semantic patches for Java program transformation
由: KANG, Hong Jin, et al.
出版: (2019)

Web application vulnerability prediction using hybrid program analysis and machine learning
由: SHAR, Lwin Khin, et al.
出版: (2014)

Dynamic programming
由: Modelo, Cynthia Yap
出版: (1978)

PROGRAM QUERY & TRANSFORMATION SYSTEM FOR SOFTWARE RE-ENGINEERING PROJECTS
由: DING XIN
出版: (2020)

A framework for program reasoning based on constraint traces
由: ANDREW EDWARD SANTOSA
出版: (2010)

Compactly representing parallel program executions
由: Goel, A., et al.
出版: (2013)

Compactly representing parallel program executions
由: Goel, A., et al.
出版: (2013)

TransRepair: Context-aware program repair for compilation errors
由: LI, Xueyang, et al.
出版: (2022)

DESIGN OF REPAIR OPERATORS FOR AUTOMATED PROGRAM REPAIR
由: TAN SHIN HWEI
出版: (2018)

Should fixing these failures be delegated to automated program repair?
由: LE DINH XUAN BACH,, et al.
出版: (2015)

Program evaluation for Easy, C, Pascal programming languages
由: Garcia, Arnaldo, et al.
出版: (1989)