Recovering fitness gradients for interprocedural Boolean flags in search-based testing

• Main Authors: LIN, Yun, SUN, Jun, FRASER, Gordon, XIU, Ziheng, LIU, Ting, DONG, Jin Song
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2020
• Subjects: Program analysis; search-based; testability; testing; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/5960; https://ink.library.smu.edu.sg/context/sis_research/article/6963/viewcontent/issta20.pdf
• Institution: Singapore Management University

In Search-based Software Testing (SBST), test generation is guided by fitness functions that estimate how close a test case is to reach an uncovered test goal (e.g., branch). A popular fitness function estimates how close conditional statements are to evaluating to true or false, i.e., the branch di...