Automatic Test Program Generation Using Executing-Trace-Based Constraint Extraction for Embedded Processors