InSPeCT: Iterated local search for solving path conditions

• Main Authors: CHEN, Fuxiang, GUNAWAN, Aldy, LO, David, KIM, Sunghun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2019
• Subjects: Iterated Local search; Path condition; Automated test case generation; Infeasible solutions; Computer Sciences; Databases and Information Systems; Theory and Algorithms
• Online Access: https://ink.library.smu.edu.sg/sis_research/4521; https://ink.library.smu.edu.sg/context/sis_research/article/5524/viewcontent/Inspect_CASE_2019_av.pdf
• Institution: Singapore Management University

Automated test case generation is attractive as it can reduce developer workload. To generate test cases, many Symbolic Execution approaches first produce Path Conditions (PCs), a set of constraints, and pass them to a Satisfiability Modulo Theories (SMT) solver. Despite numerous prior studies, auto...