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

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2013)

Keyphrases