Operational specification as the basis for rapid prototyping
Using symbolic execution to characterize behavior
Mappings for rapid prototyping