Combining Top-Down and Bottom-Up Techniques in Program Derivation.

Dipak L. Chaudhari Om P. Damani

Published in: LOPSTR (2015)

Keyphrases

computer programs
programming environment
test cases
program execution
database
neural network
clustering algorithm
multiscale
data model