Conference
Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations
| Title: | Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations |
|---|---|
| Authors: | Toennemann, Jan, Aniculăesei, Adina, Rausch, Andreas |
| Source: | Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing. :60-68 |
| Availability: | http://dl.acm.org/doi/10.1145/3425174.3425213 |
| Database: | ACM Full-Text Collection |
| DOI: | 10.1145/3425174.3425213 |
|---|