Assertion generation through active learning

• Main Authors: PHAM, Long H., SUN, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2017
• Subjects: Active learning; Assertion generation; Testing; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4706; https://ink.library.smu.edu.sg/context/sis_research/article/5709/viewcontent/Assertion_Gen_Active_Learning_ICSE_C2017_pv.pdf
• Institution: Singapore Management University

Program assertions are useful for many program analysis tasks. They are however often missing in practice. In this work, we develop a novel approach for generating likely assertions automatically based on active learning. Our target is complex Java programs which cannot be symbolically executed (yet...