Jan Toennemann, Adina Aniculaesei, Andreas Rausch. Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations. In Everton Cavalcante, Francisco Dantas, Thaís Batista, editors, SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, Natal, Brazil, October 19-23, 2020. pages 60-68, ACM, 2020. [doi]
@inproceedings{ToennemannAR20,
title = {Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations},
author = {Jan Toennemann and Adina Aniculaesei and Andreas Rausch},
year = {2020},
doi = {10.1145/3425174.3425213},
url = {https://doi.org/10.1145/3425174.3425213},
researchr = {https://researchr.org/publication/ToennemannAR20},
cites = {0},
citedby = {0},
pages = {60-68},
booktitle = {SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, Natal, Brazil, October 19-23, 2020},
editor = {Everton Cavalcante and Francisco Dantas and Thaís Batista},
publisher = {ACM},
isbn = {978-1-4503-8755-2},
}