Towards optimal concolic testing

• Main Authors: WANG, Xinyu, SUN, Jun, CHEN, Zhenbang, ZHANG, Peixin, WANG, Jingyi, LIN, Yun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2018
• Subjects: Computer Engineering; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4652; https://ink.library.smu.edu.sg/context/sis_research/article/5655/viewcontent/3180155.3180177.pdf
• Institution: Singapore Management University

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...