Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs

Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches involve complex program logics and generating tests to cover them requires deep knowledge of the program structure and semantics. Second, covering some branches requires special method sequences to lead the receiver object or non-primitive arguments to specific desirable states. Previous work has developed the concolic testing technique (a combination of concrete and symbolic testing techniques) and the evolutionary testing technique to address these two challenges, respectively. However, neither technique was designed to address both challenges at the same time. To address the respective weaknesses of these two previous techniques, we propose a novel framework called Evacon that integrates evolutionary testing (used to search for desirable method sequences) and concolic testing (used to generate desirable meth...

• Type: Conference
• Year: 2007
• Where: KBSE
• Authors: Kobi Inkumsah, Tao Xie
• Keywords: Concolic Testing, Evolutionary Testing, KBSE 2007, Software Engineering, Testing Technique