InSPeCT: Iterated local search for solving path conditions

• المؤلفون الرئيسيون: CHEN, Fuxiang, GUNAWAN, Aldy, LO, David, KIM, Sunghun
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2019
• الموضوعات: Iterated Local search; Path condition; Automated test case generation; Infeasible solutions; Computer Sciences; Databases and Information Systems; Theory and Algorithms
• الوصول للمادة أونلاين: 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
• المؤسسة: 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...