AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution

Felix Mächtle, Nils Loose, Jan-Niclas Serr +2

Symbolic execution is a powerful technique for software testing, but suffers from limitations when encountering external functions, such as native methods or third-party libraries.…