Method for automatically generating search heuristics and performing method of concolic testing using automatically generated search heuristics

摘要

Provided is a method for automatically generating a search heuristic that is optimal for a test subject program and a method of concolic testing that uses a parameterized search heuristic to yield a consistent test performance for any program.