Towards optimal concolic testing

• المؤلفون الرئيسيون: WANG, Xinyu, SUN, Jun, CHEN, Zhenbang, ZHANG, Peixin, WANG, Jingyi, LIN, Yun
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2018
• الموضوعات: Computer Engineering; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4652; https://ink.library.smu.edu.sg/context/sis_research/article/5655/viewcontent/3180155.3180177.pdf

Concolic testing integrates concrete execution (e.g., random testing) and symbolic execution for test case generation. It is shown to be more cost-effective than random testing or symbolic execution sometimes. A concolic testing strategy is a function which decides when to apply random testing or sy...