Minxing Tang

TL;DR: In this article, shadow symbolic execution is applied to Java programs and an extension of the Java PathFinder (JPF) project is provided to perform shadow symbolic executions on Java bytecode, which successfully generated test inputs that expose divergences relevant for regression testing.

TL;DR: The idea of shadow symbolic execution (SSE) is adapted and combine complete/standard symbolic execution with the idea of four-way forking to expose diverging behavior and attempts to comprehensively test the new be- haviors introduced by a change.

TL;DR: This work applies the idea of shadow symbolic execution to Java programs and provides an extension of the Java PathFinder (JPF) project to performshadow symbolic execution on Java bytecode to solve the problem of regression testing.

TL;DR: In this article, the authors crawled 1500 open-source C repositories on GitHub for partial fixes and proposed a benchmark set of 2204 benchmark tasks for automated program repair based on partial fixes.

TL;DR: Java Path nder (JPF) was originally developed as an explicit- state software model checker, and subsequently evolved into an extensible Java bytecode analysis framework that has been suc- cessfully abused in the past.