Verification of Programs with Procedure-Type Parameter.

George W. Ernst Jainendra K. Navlakha William F. Ogden

Published in: Acta Informatica (1982)

Keyphrases

parameter values
stopping criterion
data sets
input parameters
symbolic execution
hardware designs
decision trees
high level
probabilistic model
parameter settings
computer programs
programming environment
parameter adjustment