Overview of an Example Generation System

This paper addresses the process of generating examples which meet specified criteria; we call this activity CONSTRAINED EXAMPLE GENERATION (CEG). We present the motivation for and architecture of an existing example generator which solves CEG problems in several domains of mathematics and computer science, e.g., the generation of LISP test data, simple recursive programs, and piecewise linear functions.

[1]  EDWINA RISSLAND MICHENER,et al.  Understanding Understanding Mathematics , 1978, Cogn. Sci..

[2]  I. Lakatos.  PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.

[3]  Edwina R Michener,et al.  The Structure of Mathematical Knowledge , 1978 .

[4]  Allen Newell,et al.  Report on a general problem-solving program , 1959, IFIP Congress.

[5]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[6]  Beverly Woolf,et al.  Problems, plans, and programs , 1980, SIGCSE '80.