Automated testing of DSL implementations: experiences from building mbeddr.

Daniel Ratiu, Markus Voelter

Browse the full ICSE paper archive.