Precise condition synthesis for program repair
Due to the difficulty of repairing defect, many research efforts have been devoted into
automatic defect repair. Given a buggy program that fails some test cases, a typical …
automatic defect repair. Given a buggy program that fails some test cases, a typical …
[PDF][PDF] Precise Condition Synthesis for Program Repair
Y Xiong, J Wang, R Yan, J Zhang, S Han… - arXiv preprint arXiv …, 2016 - researchgate.net
Due to the difficulty of repairing defect, many research efforts have been devoted into
automatic defect repair. Given a buggy program that fails some test cases, a typical …
automatic defect repair. Given a buggy program that fails some test cases, a typical …
Precise Condition Synthesis for Program Repair
Y Xiong, J Wang, R Yan, J Zhang, S Han… - arXiv e …, 2016 - ui.adsabs.harvard.edu
Due to the difficulty of repairing defect, many research efforts have been devoted into
automatic defect repair. Given a buggy program that fails some test cases, a typical …
automatic defect repair. Given a buggy program that fails some test cases, a typical …
Precise Condition Synthesis for Program Repair
Y Xiong, J Wang, R Yan, J Zhang, S Han… - arXiv preprint arXiv …, 2016 - arxiv.org
Due to the difficulty of repairing defect, many research efforts have been devoted into
automatic defect repair. Given a buggy program that fails some test cases, a typical …
automatic defect repair. Given a buggy program that fails some test cases, a typical …
[PDF][PDF] Precise Condition Synthesis for Program Repair
Y Xiong, J Wang, R Yan, J Zhang, S Han… - arXiv preprint arXiv …, 2016 - microsoft.com
Due to the difficulty of repairing defect, many research efforts have been devoted into
automatic defect repair. Given a buggy program that fails some test cases, a typical …
automatic defect repair. Given a buggy program that fails some test cases, a typical …
Precise Condition Synthesis for Program Repair
Y Xiong, J Wang, R Yan, J Zhang, S Han, G Huang… - pdfs.semanticscholar.org
编程语言的设计原理 Recursive Types Page 1 Precise Condition Synthesis for Program
Repair Yingfei Xiong1, Jie Wang1, Runfa Yan2, Jiachen Zhang1, Shi Han3, Gang Huang1 …
Repair Yingfei Xiong1, Jie Wang1, Runfa Yan2, Jiachen Zhang1, Shi Han3, Gang Huang1 …
[PDF][PDF] Precise Condition Synthesis for Program Repair
Y Xiong, J Wang, R Yan, J Zhang, S Han, G Huang… - xiongyingfei.github.io
Due to the difficulty of repairing defect, many research efforts have been devoted into
automatic defect repair. Given a buggy program that fails some test cases, a typical …
automatic defect repair. Given a buggy program that fails some test cases, a typical …
Precise condition synthesis for program repair
Y Xiong, J Wang, R Yan, J Zhang, S Han… - Proceedings of the 39th …, 2017 - dl.acm.org
Due to the difficulty of repairing defect, many research efforts have been devoted into
automatic defect repair. Given a buggy program that fails some test cases, a typical …
automatic defect repair. Given a buggy program that fails some test cases, a typical …
[PDF][PDF] Precise Condition Synthesis for Program Repair
Y Xiong, J Wang, R Yan, J Zhang, S Han… - arXiv preprint arXiv …, 2016 - scholar.archive.org
Due to the difficulty of repairing defect, many research efforts have been devoted into
automatic defect repair. Given a buggy program that fails some test cases, a typical …
automatic defect repair. Given a buggy program that fails some test cases, a typical …
Precise Condition Synthesis for Program Repair
Y Xiong, J Wang, R Yan, J Zhang, S Han, G Huang… - xiongyingfei.github.io
编程语言的设计原理 Recursive Types Page 1 Precise Condition Synthesis for Program
Repair Yingfei Xiong1, Jie Wang1, Runfa Yan2, Jiachen Zhang1, Shi Han3, Gang Huang1 …
Repair Yingfei Xiong1, Jie Wang1, Runfa Yan2, Jiachen Zhang1, Shi Han3, Gang Huang1 …