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.