Problem identification using program checking.

Christian S. Collberg Todd A. Proebsting

Published in: Discret. Appl. Math. (2004)

Keyphrases

test cases
program execution
search engine
feature selection
data model
automatic programming
parameter identification