Syntactic Program Transformations for Automatic Abstraction.

Kedar S. Namjoshi Robert P. Kurshan

Published in: CAV (2000)

Keyphrases

natural language
data driven
database
real time
high level
semi automatic
fully automatic
computer programs
hardware designs
information systems
test cases
semantic representation