Shadow Symbolic Execution with Java PathFinder

• DOI: 10.1145/3149485.3149492
• Publication Date: 2018-01-12T13:49:50Z
• Authors: Yannic Noller; Hoang Lam Nguyen; Minxing Tang; Timo Kehrer
• Keywords: Concolic testing; Java bytecode; Regression testing; Java Modeling Language

Regression testing ensures that a software system when it evolves still performs correctly and the changes introduce no unintended side-effects. However, creation of regression test cases show divergent behavior needs lot effort. A solutionis idea shadow symbolic execution, originally implemented based on KLEE for programs written in C, which takes unified version old new program execution guided by concrete values to explore changed behavior. In this work, we apply Java and, hence, provide an extension PathFinder (JPF) project perform bytecode. The has been applied several subjects from JPF classes where successfully generated inputs expose divergences relevant testing.