Learning likely invariants to explain why a program fails

Learning likely invariants to explain why a program fails

Debugging is difficult. Recent studies show that automatic bug localization techniques have limited usefulness. One of the reasons is that programmers typically have to understand why the program fails before fixing it. In this work, we aim to help programmers understand a bug by automatically gener...

Full description

Saved in:
Bibliographic Details
Main Authors: PHAM, Long H., SUN, Jun, THI, Lyly Tran, WANG, Jingyi, PENG, Xin
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2017
Subjects:
Active learning
Debugging
Invariant
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/4705
https://ink.library.smu.edu.sg/context/sis_research/article/5708/viewcontent/Learning_variants_program_fails_iceccs2017_pv.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/4705
https://ink.library.smu.edu.sg/context/sis_research/article/5708/viewcontent/Learning_variants_program_fails_iceccs2017_pv.pdf

Similar Items