Static Analysis and Testing of Executable DSL Specification.

Qinan Lai, Andy Carpenter

Browse the full MODELSWARD paper archive.